Ефимов Д.Б., Полещиков С.М. Математическая логика и теория алгоритмов

Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с.
ISBN 978-5-9239-0352-2.
Пособие содержит теоретический материал и упражнения по некоторым основным темам курса математической логики и теории алгоритмов. В каждом разделе изложены базовые понятия, подробно рассмотрены разнообразные типовые примеры. В конце каждого раздела приведены задачи для самостоятельного решения.
Издание предназначено для студентов всех направлений бакалавриата, специальностей и форм обучения в помощь при изучении дисциплины «Математика». Содержание.
Математическая логика.
Высказывания. Логические операции.
Формулы логики высказываний. Тавтологии.
Равносильность формул.
Нормальные формы.
Логическое следование.
Булевы функции.
Применение булевых функций.
Формализованное исчисление высказываний.
Предикаты. Кванторы. Формулы логики предикатов.
Равносильные преобразования и логическое следование для предикатов.
Метод резолюций.
Логическое программирование. ПРОЛОГ.
Логические задачи.
Теория алгоритмов.
Понятие алгоритма.
Машина Тьюринга.
Рекурсивные функции.
Нормальные алгоритмы Маркова.
Ответы и решения.
Библиографический список.