|
0. Дискретная математика
|
|
1.1. Перестановки. Размещения. Сочетания
|
|
1.2. Задачи по комбинаторике
|
|
2.1. Элементарные функции алгебры логики
|
|
2.2. Формульное задание функций алгебры логики
|
|
2.3 Принцип двойственности
|
|
2.4 Разложение булевой функции по переменным
|
|
2.5. Полнота, примеры полных систем
|
|
2.6. Замыкание и замкнутые классы
|
|
2.7. Функции K - значной логики
|
|
2.8. Задачи и упражнения по функциям алгебры логики
|
|
3.1. Минимизация нормальных форм
|
|
3.2 Минимизация частично определенных функций
|
|
3.3 Задачи по минимизации и доопределению булевых функций
|
|
4.1. Введение в логику высказываний
|
|
4.2. Задачи по алгебре высказываний
|
|
Список литературы
|
