Булгакова И.Н. (сост.) Дискретная математика. Элементы теории. Задачи и упражнения. Часть 2

Учебное пособие. 2-е изд. — Воронеж: Издательство ВГУ, 2008. — 78 с.Учебное пособие подготовлено на кафедре математических методов исследования операций факультета ПММ Воронежского государственного университета.
Рекомендуется для студентов 1 курса, обучающихся по специальности «Прикладная математика и информатика», а также будет полезна всем изучающим дискретную математику.
Для специальностей: 010501 – Прикладная математика и информатика; 010502 – Прикладная информатика в юриспруденции; 010503 – Математическое обеспечение и администрирование информационных систем; 080700 – Бизнес-информатика; 080800 – Прикладная информатика.Алгебра высказываний
Высказывания. Операции над высказываниями. Формулы алгебры высказываний. Таблицы истинности
Равносильные формулы. Основные равносильности алгебры высказываний
Решение логических задач с помощью алгебры высказываний
Алгебра Буля
Булевы функции. Равенство функций и равносильность формул. Принцип двойственности
Дизъюнктивные и конъюнктивные нормальные формы
Классификация ДНФ. Минимизация булевых функций
Совершенные нормальные формы
Приложение алгебры логики к релейно-контактным схемам
Полином Жегалкина. Линейные и нелинейные функции
Операция замыкания. Основные замкнутые классы
Полнота систем булевых функций
Предикаты. Операции над предикатами
Применение логики предикатов в математике
Машина Тьюринга
Литература