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