Математическая логика. Конспект лекций и задачи

Учебное пособие для заочного отделения. — Челябинск: Изд-во ЮУрГУ, 2002. — 64 с. — ISBN 5-696-00974-3.Учебное пособие соответствует курсу математической логики для студентов специальностей "Прикладная математика", "Прикладная математика и информатика" и "Программное обеспечение вычислительной техники и автоматизированных систем", содержит теоретический материал и задачи по темам: алгебра высказываний, логические исчисления. Все изложено доступным языком, снабжено примерами.Предварительные сведения.
Высказывания.
Предикаты.
Кванторы.
Построение отрицаний.
Задачи.
Высказывания и предикаты.
Метод математической индукции.
Алгебра высказываний.
Логические операции.
Формулы и функции.
Список основных равносильностей.
Полные системы связок.
Двойственность.
Нормальные формы.
Контактные схемы.
Минимизация ДНФ.
Геометрическая интерпретация ДНФ.
Булева алгебра.
Задачи по алгебре высказываний.
Формулы и их преобразования. Двойственность.
Полные системы связок.
Теорема Поста.
Нормальные формы.
Контактные схемы.
Булева алгебра.