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

Таймкоды: 00:00:00 - Начало 00:00:55 - Выполнимые формулы и тавтологии 00:04:55 - Задача о расстановке ферзей 00:11:45 - Можно ли определять выполнимость формулы быстрее чем за полином от длины 00:14:57 - Метод резолюций 00:21:55 - Правило резолюций 00:28:55 - Теоремы для определения выполнимости 00:47:33 - Алгоритм Девиса-Патнама 00:55:45 - ДПЛЛ 01:01:40 - Работа алгоритма не для КНФ 01:05:26 - Метод Цейтина 01:15:12 - Худший случай работы Дата лекции: 21.10.2026 Лектор: Мусатов Даниил Владимирович Оператор: Корнеева Мария Монтажёр: Тютрин Данила Плейлист на YouTube:    • [МЛиТА, ПМИ] Математическая логика и теори...   Плейлист в ВК: https://vkvideo.ru/playlist/-20607802...