Математическая логика и теория алгоритмов 6. Сравнение вумов, собственные начальные отрезки вумов
00:00:00 - Начало
00:02:30 - Лемма о вумах и их собственных начальных отрезках (отсутствие изоморфизма)
00:09:25 - Сравнение вумов, свойства сравнений
00:15:00 - Теорема о сравнимости вумов
00:41:55 - Лемма (сравнение вумов - фундировано), следствия из неё
00:57:48 - Теорема о монотонности
01:13:00 - Теорема о вычитании вумов
01:20:30 - Теорема о делении с остатком (формулировка)
Дата лекции: 12.03.2025
Лектор: Дашков Евгений Владимирович
Оператор: Фазлеев Ян
Монтажёр: Фазлеев Ян
Ссылка на плейлист ВК: https://vkvideo.ru/playlist/-206078025_117
Ссылка на плейлист Ютуб: https://www.youtube.com/playlist?list=PL4_hYwCyhAvavQI9DuD0BYtoUpYDpmorS
Видео Математическая логика и теория алгоритмов 6. Сравнение вумов, собственные начальные отрезки вумов канала Лекторий ФПМИ
00:02:30 - Лемма о вумах и их собственных начальных отрезках (отсутствие изоморфизма)
00:09:25 - Сравнение вумов, свойства сравнений
00:15:00 - Теорема о сравнимости вумов
00:41:55 - Лемма (сравнение вумов - фундировано), следствия из неё
00:57:48 - Теорема о монотонности
01:13:00 - Теорема о вычитании вумов
01:20:30 - Теорема о делении с остатком (формулировка)
Дата лекции: 12.03.2025
Лектор: Дашков Евгений Владимирович
Оператор: Фазлеев Ян
Монтажёр: Фазлеев Ян
Ссылка на плейлист ВК: https://vkvideo.ru/playlist/-206078025_117
Ссылка на плейлист Ютуб: https://www.youtube.com/playlist?list=PL4_hYwCyhAvavQI9DuD0BYtoUpYDpmorS
Видео Математическая логика и теория алгоритмов 6. Сравнение вумов, собственные начальные отрезки вумов канала Лекторий ФПМИ
Показать
Комментарии отсутствуют
Информация о видео
20 ч. 51 мин. назад
01:22:02
Другие видео канала
Введение в математический анализ 9. Покрытие множества. Предел функции
Математическая логика и теория алгоритмов 7. Деление вумов с остатком, лемма Цорна, теорема Цермело
Интеграл Лебега и теория поля 9. Криволинейные интегралы
Случайные процессы 11. Модель страхования Крамера-Лундберга
Микроэкономика 1. Доказательство облегчённой теоремы Дебре. Свойства некоторых функций полезностей.
Многомерный анализ, интегралы и ряды 9. Свойства предельной функции![[Допсем] ОКТЧ 3. Первообразные корни. Индексы.](https://i.ytimg.com/vi/QWdUsRNZ5ms/default.jpg)
[Допсем] ОКТЧ 3. Первообразные корни. Индексы.
Алгебра и Геометрия 16. Описание простых подполей. Линейные пространства
Функциональный анализ 7. Предкомпактные множества. Линейные нормированные пространства
ТФКП 15. Регулярные ветви многозначных функций.
Алгоритмы и структуры данных (продвинутый поток) 2. КСС. 2-SAT. Начало дерева доминаторов
Макроэкономика 3.Модели экономического роста.Модель Даймонда.Первая теорема экономики благосостояния
Введение в математический анализ 24. Определённый интеграл
Интеграл Лебега и теория поля 5. Измеримые функции. Виды сходимости.
Функциональный анализ 11. Теорема Банаха-Штейнгауза-Хана
Функциональный анализ 5. Самосопряженные операторы (начало)
Введение в математический анализ 20. Формула Тейлора
Функциональный анализ 7. Теорема Фредгольма
Гармонический анализ 10. L2-теория рядов Фурье
Введение в финансы 2. Present value.
Формальные языки и трансляции 6. Праволинейные грамматики. КС-грамматики. Нормальная форма Хомского