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

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

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

Издание предназначено в первую очередь для студентов направления подготовки «Программная инженерия», но также будет полезно обучающимся по смежным направлениям, таким как «Информационные системы и технологии» и «Системный анализ и управление». Структура пособия включает теоретический материал и практические задания для закрепления знаний.