Вопросы по дисциплине «МАТЕМАТИЧЕСКАЯ ЛОГИКА»

Функции алгебры логики (булевы функции). Существенные и фиктивные

1 Логика высказы- переменные. Равенство булевых функций. Элементарные булевы функции.
ваний Формулы над системой элементарных функций. Дерево формулы.
Глубина и сложность формулы. Таблицы истинности. Тавтологии.
Основные эквивалентности (равносильности) для формул над системой
элементарных функций. Равносильные преобразования формул.
Дизъюнктивные и конъюнктивные нормальные формы. Совершенная,
сокращенная, тупиковая и минимальная ДНФ (КНФ). Сложность
линейной булевой функции в классе ДНФ. Минимизация ДНФ и КНФ
для функций 3-х переменных. Полиномы Жегалкина.
Формулы над произвольной системой функций. Замкнутые и полные
системы булевых функций. Основные замкнутые классы алгебры логики.
Критерий полноты Поста. Следствия.
Контактные схемы. π-схемы. Связь с формулами. Двойственность для
π-схем. Минимизация π-схем для функций 3-х переменных.
Язык исчисления высказываний. Аксиомы и правила вывода в ИВ.
2 Исчисление Вывод в ИВ. Примеры выводимостей.
высказываний Теорема о дедукции в ИВ и другие метатеоремы ИВ и их применение
для построения выводов в ИВ.
Непротиворечивость и полнота ИВ.
Независимость системы аксиом ИВ
Множества. Операции над множествами.
Теория
3 Отношения и функции. Бинарные отношения. Предикаты.
множеств
Язык логики предикатов. Свободные и связанные переменные. Термы.
4 Логика Замкнутые формулы.
предикатов Интерпретация формул в ИП. Значение терма и выполнимость формулы.
Свойства выполнимости. Логически общезначимые формулы.
Аксиомы и правила вывода в ИП. Примеры выводимых формул в ИП.
5 Исчисление Теорема дедукции в ИП. Следствия. Доказательства выводимости в ИП.
предикатов Непротиворечивость и полнота ИП
Предваренные нормальные формы. Приведение формулы ИП к
предваренной нормальной форме.
Рекомендуемая литература
Основная
1. Мендельсон Э. Введение в математическую логику .
М.: Наука, 1982
2. Яблонский С.В. Введение в дискретную математику .
М.: Наука, 1986.
3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств,
математической логике и теории алгоритмов . М.: Наука, 1984
4. Мощенский А.В., Мощенский В.А. Курс математической логики .
Мн.: БГУ, 2001.
Дополнительная
1. Яблонский С.В. Элементы математической кибернетики.
М.: Высш. школа, 2007.
2. Алексеев В.А., Алешин С.В., Буевич В.А., Кудрявцев В.Б., Подколзин
А.С., Сапоженко А.А., Яблонский С.В. Методическая разработка
по курсу «Математическая логика и дискретная математика ».
Изд-во Саратовского университета, 1982.