🎯 Загружено автоматически через бота: 🚫 Оригинал видео: 📺 Данное видео является собственностью канала Лекторий ФПМИ. Оно представлено в нашем сообществе исключительно в информационных, научных, образовательных или культурных целях. Наше сообщество не утверждает никаких прав на данное видео. Пожалуйста, поддержите автора, посетив его оригинальный канал: @lectory_fpmi. ✉️ Если у вас есть претензии к авторским правам на данное видео, пожалуйста, свяжитесь с нами по почте support@, и мы немедленно удалим его. 📃 Оригинальное описание: 00:00:00 - Вспоминаем изученное ранее 00:04:46 - План доказательства теоремы 00:06:29 - Доказательство леммы 1 00:24:15 - Доказательство леммы 2 00:35:04 - Семантическое следование 00:40:26 - Теорема о компактности 00:47:11 - Задача о выполнимости КНФ Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист:
Hide player controls
Hide resume playing