Муха Ю.П., Авдеюк О.А. Математическая логика и теория алгоритмов

Учебное пособие: Конспект лекций. — 2-е изд. — Волгоград: Волгоградский государственный технический университет, 2011. — 93 с. — ISBN 5-230-04465-5.В пособии излагаются основные положения математической логики и теории алгоритмов. Особое внимание уделяется алгебре логики, методам минимизации переключательных функций, синтезу и анализу логических схем.
Учебное пособие предназначено для студентов, изучающих курс «Математическая логика и теория алгоритмов», а также для студентов всех специальностей, изучающих курсы «Дискретная математика» и «Прикладная математика», «Вычислительная математика».Введение.
Логика высказываний.
Исчисление высказываний.
Логика предикатов.
Алгебра логики. Основные определения. Фиктивные и существенные переменные.
Алгебра логики. Элементарные функции алгебры логики (ФАЛ). Свойства элементарных ФАЛ.
Алгебра логики. Системы (классы) ФАЛ. Функционально-полные системы. Базис.
Алгебра логики. Аналитическое представление ФАЛ.
Алгебра логики. Постановка задачи минимизации ФАЛ. Метод непосредственных преобразований логических функций. Метод неопределенных коэффициентов.
Алгебра логики. Методы минимизации ФАЛ. Метод Квайна. Метод Квайна – Мак-Класки. Метод диаграмм Вейча (карт Карно).
Алгебра логики. Не полностью определенные ФАЛ. Временные булевы функции. Производные от ФАЛ.
Алгебра логики. Области приложения аппарата алгебры логики.
Теория алгоритмов. Общие понятия.
Теория алгоритмов. Машина Тьюринга – Поста. Нормальный алгоритм Маркова.
Список литературы.