Лекции по дискретной математике:
функциональные системы с
операциями. Е.А.
Фоминых 33 с.
Учебник
состоит из одного файла формата
PDF. Скачать.
Содержание
Глава 1. Алгебра логики 5
1. Функции алгебры логики 5
2. Равенство функций и
эквивалентность формул 7
3. Совершенная дизъюнктивная
нормальная форма 8
4. Операция замыкания 10
5. Полнота 10
6. Важнейшие замкнутые классы 12
7. Критерий полноты 15
Глава 2. k-значная логика
19
1. Функции k-значной
логики. Аналог с.д.н.ф. 19
2. Операция замыкания и полнота
20
3. Алгоритм распознавания полноты
22
4. Теорема Кузнецова о полноте 24
5. Критерий Слупецкого 26
6. Особенности k-значных
логик 30
Литература 33
|