Допсем Матлогика 5. Метод резолюций

00:00:00 Пустой дизъюнкт 00:10:30 Теоремы метода резолюций 00:12:50 Построение 3-КНФ 00:33:40 Задача 3-SAT 00:44:02 Почему новая формула соответствует изначальной 00:49:55 Задача 30 (о дизъюнктах) 01:11:30 Задача 29 (выбор верных утверждений) 01:23:30 Задача 33 (проверка на выполнимость) 01:29:16 Задача 32 (но её не будет) 01:31:00 Задача 29 (о ядре неориентированного графа) Дата: 4 ноября 2023 Преподаватель: Калинин Иван Оператор: Малышев Сергей Плейлист: