Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Математическая логика и теория алгоритмов 9. Эквивыволнимая КНФ. Правило резолюции
00:00:00 - Как свести задачу к выполнимости КНФ 00:02:15 - Теорема об эквивыполнимой КНФ 00:21:05 - Правило резолюции 00:25:30 - Метод резолюций 00:27:15 - Теорема о методе резолюций 00:30:00 - Примеры 00:39:20 - Продолжение доказательства теоремы Дата лекции: 29.10.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: • [МЛиТА] Математическая логика и теория алг... Плейлист в ВК:
