учебники и пособия для вузов

математика

учебно-методические пособия

информатика и вычислительная техника

бакалавриат

Изложен материал основного курса «Математическая логика и теория алгоритмов», читаемого на факультете «Автоматизации и информатики (АИ)» МГГУ: основные понятия, относящиеся к семантике формализованных логико-математических языков; математическая логика, исчисление высказываний и предикатов, элементы теории множеств, основы теории моделей и алгоритмов. Показано практическое использование алгебры к задачам математической логики.
Для студентов вузов, обучающихся по направлениям 552800, 654600 «Информатика и вычислительная техника», специальности 220200 «Автоматизированные системы обработки информации и управления».



современные любовные романы

современная зарубежная литература

Математическая логика и теория алгоритмов

алгоритмы

математическая логика

теория алгоритмов

школьные учебники по экологии

Формальные системы

практикумы

математические методы

Формальные системы. Практикум

магистратура

управленческие решения

анализ информации

принятие решений

автоматизированные системы управления

Промышленные логистические системы

Без серии

Елена Вячеславовна Зайцева