Математическая логика и теория алгоритмов 8. Теорема о компактности

00:00:00 - Вспоминаем изученное ранее 00:04:46 - План доказательства теоремы 00:06:29 - Доказательство леммы 1 00:24:15 - Доказательство леммы 2 00:35:04 - Семантическое следование 00:40:26 - Теорема о компактности 00:47:11 - Задача о выполнимости КНФ Дата лекции: 25.10.23 Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист:    • Математическая логика и теория алгоритмов ...