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

UptoLike

Составители: 

76
СОДЕРЖАНИЕ
4. Алгебра высказываний
3
4.1 Высказывания. Операции над высказываниями. Формулы
алгебры высказываний. Таблицы истинности
3
4.2 Равносильные формулы. Основные равносильности ал-
гебры высказываний
10
4.3 Решение логических задач с помощью алгебры
высказываний
12
5. Алгебра Буля
16
5.1 Булевы функции. Равенство функций и равносильность
формул. Принцип двойственности
16
5.2 Дизъюнктивные и конъюнктивные нормальные формы 21
5.3 Классификация ДНФ. Минимизация булевых функций 26
5.4 Совершенные нормальные формы 30
5.5 Приложение алгебры логики к релейно-контактным схе-
мам
36
6. Полином Жегалкина. Линейные и нелинейные функции
42
7. Операция замыкания. Основные замкнутые классы
46
8. Полнота систем булевых функций
50
9. Предикаты. Операции над предикатами
55
10. Применение логики предикатов в математике
64
11. Машина Тьюринга
69
Литература 75