Построение таблицы истинности. Доказательство истинности заключения путём построения дерева доказательства или методом резолюции. Выполнение различных бинарных операций. Построение графа вывода пустой резольвенты. Основные правила исчисления предикатов.
28.05.2015 |
Математическая логика и теория алгоритмов |
Математика |
Язык: русский |
Просмотры: 181
