Лекция 12: Метод резолюций в исчислении высказываний и исчислении предикатов

Рейтинг:  0 / 5

Звезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активнаЗвезда не активна
 

Лекция целиком посвящена методу резолюций в исчислении высказываний и исчислении предикатов. Подробно излагается идея и суть метода, даются основные определения и понятия, на житейском примере разбирается алгоритм работы. В заключении рассматривается метод аналитических таблиц как альтернатива методу резолюций.




Реклама



Ваше мнение

Видеотека

Рейтинг@Mail.ru

Яндекс.Метрика