Математическая логика и теория алгоритмов 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
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvap4WZdKoNvmJYxDZgGmkhc
Видео Математическая логика и теория алгоритмов 8. Теорема о компактности канала Лекторий ФПМИ
00:04:46 - План доказательства теоремы
00:06:29 - Доказательство леммы 1
00:24:15 - Доказательство леммы 2
00:35:04 - Семантическое следование
00:40:26 - Теорема о компактности
00:47:11 - Задача о выполнимости КНФ
Дата лекции: 25.10.23
Лектор: Мусатов Даниил Владимирович
Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvap4WZdKoNvmJYxDZgGmkhc
Видео Математическая логика и теория алгоритмов 8. Теорема о компактности канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Дискретный анализ 1. Кнезеровские графы
Гармонический анализ 1. Ряды Фурье
Многомерный анализ, интегралы и ряды 1. Дифференцируемая функция. Дифференциал. Градиент.
Алгоритмы и структуры данных (базовый поток) 15. Вычислительная геометрия на плоскости.
Введение в топологию 11. Кусочно-линейное отображение. Теорема Брауэра.
Введение в математический анализ 29. Кривизна кривой и соприкасающаяся окружность.
Алгоритмы и структуры данных (продвинутый поток) 7. SoftHeap (продолжение). Деревья поиска
Дискретный анализ 14. Алгоритм AKS, часть 2
C++ 6. xvalues, RVO, copy elision, move_if_noexcept
C++ 13. Objects as non-type template parameters / consteval / std::is_constant_evaluated
Случайные процессы 11. Цепи Маркова
Дифференциальные уравнения 14. Геодезические задачи
Дифференциальные уравнения 13. Изопериметрические задачи
Дифференциальные уравнения 12. Необходимые условия экстремума функционала для разных задач
Алгоритмы (базовый поток) 13. Потоки-2
Функциональный анализ 13. Свёртка в L1(R)
Программирование основных алгоритмов 12. Суффиксный автомат (2). Быстрое преобразование Фурье (FFT)
Алгоритмы и структуры данных 14. Декомпозиция
Алгоритмы и структуры данных 13. Центры и центроиды
ОКТЧ 14. Последовательности де Брёйна
ОКТЧ 13. Эйлеровость графа. Гамильтоновость графа. Теорема Эрдеша-Хватала