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

00:00:00 - Построение КНФ, выполнимость которых эквивалентна разрешимости некоторой задачи 00:02:43 - Задача о клике 00:28:25 - Метод резолюций 00:55:40 - Применение к доказательству тавтологий Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: