Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Математическая логика и теория алгоритмов 8. Теорема о компактности, метод резолюций
00:00:00 - Понятия с прошлой лекции 00:03:50 - Доказательство Леммы 2 00:25:15 - Теорема о компактности 00:32:45 - Теорема о раскраске графа 00:38:45 - Метод Резолюций 00:45:00 - Раскраска в 3 цвета 00:58:00 - Задача о ферзях 01:06:50 - Задача о клике Дата лекции: 22.10.2025 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: • [МЛиТА] Математическая логика и теория алг... Плейлист в ВК:
