Математическая логика и теория алгоритмов 9. Метод резолюций

00:00:00 - Введение 00:05:08 - Примеры использования пропозиционарных формул. Принцип Дирихле 00:10:13 - Пример 2. Великая теорема Ферма 00:14:19 - Пример 3. Задача о ферзях 00:32:28 - Метод Цейтина 00:42:00 - Правило резолюции и метод резолюций 00:50:49 - Теорема о выполнимости КНФ 01:05:26 - Об алгоритмах DP, DPLL 01:14:50 - Задача о ферзях на DPLL Дата лекции: 27.10.2021 Лектор: Смирнов Иван Съемка: Прозорова Лилия Монтаж: Зенина Дарья