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

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