Плиско В.Е. - Введение в математическую логику - 16. Метод резолюций и логическое программирование

00:00:14 Введение. Подстановка. Произведение подстановок 00:11:30 Унификатор. Алгоритм унификации. Пример 00:24:50 Склейка. Правило резолюции 00:35:36 Корректность правила резолюции. Корректность резолюционного вывода. Корректность исчисления резолюций 00:43:48 Полнота метода резолюций 00:56:22 Метод резолюций и доказательство теорем. Хорновские дизъюнкты 01:05:02 Минимальная модель 01:14:12 Экзистенциальность. Логические программы. Вычисление 01:27:28 Протокол вычисления. Пространство вычислений. Значение программы 01:41:27 Теорема об успешном вычислении логической программы. Протокол связываний 01:50:08 Вычисление функций. Возможности логической программы. Вычислимость частично-рекурсивных функций 01:59:17 Вычисление базисных функций. Подстановка. Рекурсия. Пример. Минимизация. Литература Ссылка на плейлист:    • Введение в математическую логику - Плиско ...   #мгу #мехмат #математика #плиско #логика #математическаялогика