5.
|
Тема 5. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Закон двойственности в логической алгебре. Арифметические операции в логической алгебре. Жегалкин увеличился.
|
2
|
6.
|
Тема 6. Полнота системы функций. Функциональные замкнутые классы и теорема Поста. Полнота системы функций. Функциональные замкнутые классы и теорема Поста.
|
2
|
7.
|
Тема 7. Приложения математической логики к дискретным методам. Изготовление функциональных элементов и схем из них. Приложения математической логики к дискретным методам. Функциональные элементы и изготовление из них схем.
|
2
|
8.
|
Тема 8. Алгоритм построения дизъюнктивных нормальных форм с тупиками. Методы построения дизъюнктивных нормальных форм с тупиками на геометрической основе. Алгоритм построения дизъюнктивных нормальных форм.
|
2
|
МОДУЛЬ XI. Предикаты.
|
9.
|
Тема 9. Предикаты и логические операции над ними. Понятие предиката. Логические операции над предикатами. Квантификаторы общности и доступности.
|
2
|
10.
|
Тема 10. Номинальная форма формулы логики предикатов. Исполняемые и универсальные формулы. Номинальная форма формулы логики предикатов. Исполняемые и универсальные формулы. Решение проблемы.
|
|
