Введение в математическую логику 2. Производные математические утверждения
00:00 - Начало
01:10 - Повторение предыдущей лекции
05:41 - Однозначность дерева разбора
06:58 - Лемма о количество открывающих и закрывающих скобок в формуле
09:48 - Скобочный итог
11:08 - Однозначность разбора
21:14 - Формула тавтология
22:34 - Выполнимая формула
27:00 - Modus ponens
37:26 - Типичное математическое высказывание
38:30 - Определение отношения на множестве
46:20 - Определение функции
52:23 - Навешивание кванторов
59:30 - Определение модели
01:05:38 - Алгебра Тарского
01:15:23 - Арифметика
Дата лекции: 15.09.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 2. Производные математические утверждения канала Лекторий ФПМИ
01:10 - Повторение предыдущей лекции
05:41 - Однозначность дерева разбора
06:58 - Лемма о количество открывающих и закрывающих скобок в формуле
09:48 - Скобочный итог
11:08 - Однозначность разбора
21:14 - Формула тавтология
22:34 - Выполнимая формула
27:00 - Modus ponens
37:26 - Типичное математическое высказывание
38:30 - Определение отношения на множестве
46:20 - Определение функции
52:23 - Навешивание кванторов
59:30 - Определение модели
01:05:38 - Алгебра Тарского
01:15:23 - Арифметика
Дата лекции: 15.09.2023
Лектор: Михаил Николаевич Вялый
Оператор: Семенов Вадим
Монтажёр: Юдин Иван
Плейлист: https://www.youtube.com/playlist?list=PL4_hYwCyhAvYeUwQecIMfZvokxeBBXg5z
Видео Введение в математическую логику 2. Производные математические утверждения канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Дискретный анализ 4. Случайные графы. Теорема Эрдеша-Реньи
Введение в математический анализ 11. Теорема Больцано-Коши. Функция Римана.
Функциональный анализ 5. Топология Тихонова. Теоремы отделимости.
Функциональный анализ 4. Топологическая и секвенциальная непрерывность. Критерий базы и предбазы.![[Допсем] ОКТЧ 2. Бинарные отношения. Мощности множеств.](https://i.ytimg.com/vi/_HaeqwTGFKA/default.jpg)
[Допсем] ОКТЧ 2. Бинарные отношения. Мощности множеств.
Введение в математический анализ 10. Верхний и нижний пределы функции. Непрерывность.
Функциональный анализ 5. Сжимающие отображения. Компактность
Введение в топологию 2. Наглядные задачи о поверхностях. Неравенство Эйлера. Теорема Жордана
Дифференциальные уравнения 4. Теоремы о продолжении решений
Алгоритмы и структуры данных/ базовый поток 4. Merge sort (Сортировка слиянием).
Введение в математический анализ 8. Предел функции. Функция Дирихле.
Алгебра и геометрия 7. Прямая в плоскости, плоскость в пространстве
Дискретный анализ 3. Случайные графы. Введение.
Дифференциальные уравнения 3. Принцип сжимающих отображений. Теорема Банаха
Функциональный анализ 4. Гомеоморфизмы. Полные метрические пространства
Алгоритмы и структуры данных/ базовый поток 3. Квадратичные сортировки.
Введение в математическую логику 3. Формулы логики первого порядка
Интеграл Лебега и теория поля 3. Измеримые функции. Интеграл Лебега
Дополнительные главы теории вероятности и теории меры 2. Монотонные классы. Операция Суслина
Алгоритмы и структуры данных (продвинутый поток) 2. Амортизационный анализ. Персистентная очередь
Дискретный анализ 2. Асимптотика биномиальных коэффициентов