Информатика

В курсе рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Курс включает в себя около 200 задач различной трудности.

Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом,...

Предлагаемая книга - это одновременно учебник и оригинальная монография по теории информации. Две независимые друг от друга части, составляющие книгу, написаны авторами на основе собственных лекций, читающихся в Школе анализа данных Яндекса. Автор первой части, Е.В. Щепин, рассматривает понятия теории информации как базу для решения задач машинного обучения, и прежде...

Это обновленное и дополненное издание книги «AutoCAD Electrical 2015 Подключайтесь!», при написании которой авторы ставили перед собой задачу сделать ее понятной и простой в освоении. По отзывам читателей цель была достигнута, и книга стала источником базовых знаний. Новое издание дополнено такими важными разделами, как настройка свойств проекта и создание пользовательских...

Эта книга показывает, как значительно усилить безопасность операционной системы Linux и устранить имеющиеся уязвимости установленных приложений. Вы узнаете, как работает SELinux, как можно настроить ее под свои нужды и усилить с ее помощью защиту систем виртуализации, включающих технологию libvirt (sVirt) и контейнеризацию Docker. Также рассказывается об управляющих...

KML – язык разметки географических данных для отображения в таких программах, как Google Earth или Microsoft Virtual Earth. С его помощью можно представлять на трехмерной панораме Земли самую разнородную информацию – от фотоотчета о своем путешествии по Европе до динамической картины распространения птичьего группа или дрейфа материков. Возможности ограничены только...

Написание геопространственных программ предполагает решение таких задач, как группирование данных по географическому положению, хранение и анализ больших массивов информации, выполнение сложных расчетов и построение красочных интерактивных карт. Книга предоставляет обзор главных геопространственных понятий, источников геоданных и наборов инструментов для геообработки....

Разработка корпоративной системы все чаще подразумевает единовременное создание двух версий одного продукта – Windows и Web приложений, функциональность которых идентична. Оптимизацией решения задачи может служить синхронная разработка двух версий продукта средствами WPF и Silverlight технологий. Использование единого опыта разработки настольных и Web-проектов кажется...

В пособии рассмотрены основные этапы проектирования и реализации веб-приложения с использованием популярного фреймворка Flask, приведено построение UML-диаграмм для основных этапов анализа предметной области, осуществлено проектирование и реализация источника данных, описана разработка серверной и клиентской частей веб-приложения. Учебно-методическое пособие содержит...

В пособии рассмотрены основные этапы проектирования и реализации веб-приложения с использованием популярного фреймворка Flask, приведено построение UML-диаграмм для основных этапов анализа предметной области, осуществлено проектирование и реализация источника данных, описана разработка серверной и клиентской частей веб-приложения. Учебное пособие содержит большое количество...

Генетические алгоритмы — это семейство алгоритмов поиска, оптимизации и обучения, черпающее идеи из естественной эволюции. Благодаря имитации эволюционных процессов генетические алгоритмы способы преодолевать трудности, присущие традиционным алгоритмам поиска, и находить высококачественные решения в самых разных задачах. Эта книга поможет освоить мощный, но в то же...

Книга известного специалиста в области информатики Никлауса Вирта написана по материалам его лекций по вводному курсу проектирования компиляторов. На примере простого языка Оберон-0 рассмотрены все элементы транслятора, включая оптимизацию и генерацию кода. Приведен полный текст компилятора на языке программирования Оберон. Для программистов, преподавателей и студентов,...

В классическом учебнике тьюринговского лауреата Н.Вирта аккуратно, на тщательно подобранных примерах прорабатываются основные темы алгоритмики – сортировка и поиск, рекурсия, динамические структуры данных. Перевод на русский язык выполнен заново, все рассуждения и программы проверены и исправлены, часть примеров по согласованию с автором переработана с целью максимального...

В книге описан проект Оберон, представляющий полную программную среду для современной рабочей станции. Главная цель, поставленная авторами, – спроектировать и реализовать всю систему с нуля и построить ее так, чтобы она могла быть описана, объяснена и понята как единое целое. В дополнение к основной системе во всех деталях описан компилятор языка Оберон и графическая...

Данное практическое руководство познакомит вас с 10 простыми рекомендациями, помогающими писать программное обеспечение, которое легко поддерживать и адаптировать. Эти тезисы сформулированы на основании анализа сотен реальных систем. Написанная консультантами компании Software Improvement Group книга содержит ясные и краткие советы по применению рекомендаций на практике....

Данное практическое руководство познакомит вас с 10 простыми рекомендациями, помогающими писать программное обеспечение, которое легко поддерживать и адаптировать. Эти тезисы сформулированы на основании анализа сотен реальных систем. Написанная консультантами компании Software Improvement Group книга содержит ясные и краткие советы по применению рекомендаций на практике....

Курс посвящен изучению основ теории и получению практических навыков сетевого администрирования информационной системы организации - управления сетевыми узлами, сетевыми протоколами, службами каталогов, сетевыми службами, управления файловыми ресурсами системы, правами доступа к ресурсам, устройствами печати, системами резервного копирования и восстановления информации,...

Курс позволяет самостоятельно освоить работу в издательской системе PageMaker. Курс в первую очередь рассчитан на лиц, начинающих осваивать издательские системы, и PageMaker - первая из них. Может служить методическим руководством для проведения занятий на курсах по соответствующей тематике

Данная книга рекомендуется в качестве пособия при подготовке к ЕГЭ по информатике. Разделы книги соответствуют темам, включенным в ЕГЭ. В начале каждого раздела приведена краткая теоретическая информация по теме, содержащая основные определения и описание методов решения задач. Основу разделов составляют задачи для самостоятельного решения. В конце книги приводятся...

Профессиональное моделирование имеет важнейшее значение для успеха любого проекта, где используется компьютерная 3D-графика. Из этой книги вы узнаете, что нужно для создания эффективных, готовых к производству моделей, и подготовитесь к созданию впечатляющей реалистичной графики. Используя программно-независимый подход, автор описывает основные приемы, которые можно...