Введение в математическую логику 8. Формальные системы
00:00:00 - Начало
00:04:27 - Синтаксическое следствие
00:10:14 - Теорема о равносильности синтаксического и семантического следствий
00:22:22 - Лемма 1 о противоречии
00:23:48 - Лемма 2
00:32:10 - Теорема дедукции
00:45:26 - Лемма 3
00:56:05 - Лемма Кальмара
01:10:45 - Доказательство использованных лемм
Дата лекции: 26.10.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 8. Формальные системы канала Лекторий ФПМИ
00:04:27 - Синтаксическое следствие
00:10:14 - Теорема о равносильности синтаксического и семантического следствий
00:22:22 - Лемма 1 о противоречии
00:23:48 - Лемма 2
00:32:10 - Теорема дедукции
00:45:26 - Лемма 3
00:56:05 - Лемма Кальмара
01:10:45 - Доказательство использованных лемм
Дата лекции: 26.10.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 8. Формальные системы канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Дискретный анализ 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. Эйлеровость графа. Гамильтоновость графа. Теорема Эрдеша-Хватала
ОКТЧ 9. Теорема Минковского
Дискретный анализ 13. Алгоритм AKS, часть 1
Многомерный анализ, интегралы и ряды 28. Условные экстремумы функций многих переменных
C++ 11. std::launder. std::visit impl. Инстанцирование шаблонов. SFINAE, enable_if.
Многомерный анализ, интегралы и ряды 27. Теорема об обратном отображении. Криволинейные координаты
Презентация магистратуры кафедры АТП
Алгоритмы и структуры данных (продвинутый поток) 10. Диаметр в графе, центроиды, метод Тарьяна