28. Дискретная математика. Метод резолюций в исчислении высказываний и исчислении предикатов

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

[@ВераАвдосьева]

Очень доступно. Спасибо

[@domclic]

Напомнил моего препода по матану, Треногина Владилена Александровича. Дураками были, он нам тоже пытался логично все подать. Не слушали, и не спрашивали, могли бы умными стать)