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

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

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