Математическая логика и теория алгоритмов 4. Вполне уп

00:00:00 - Начало 00:00:50 - Вполне упорядоченные множества 00:06:00 - Определение фундированного порядка 00:08:40 - Принцип трансфинитной индукции 00:11:20 - Теорема (три эквивалентных утверждения) 00:30:45 - Определение вполне упорядоченного множества 00:38:00 - Лемма (об устройстве вумов и их свойствах) 00:47:01 - Определение предельного (в широком смысле) элемента 00:55:10 - Лемма (эквивалентные формулировки определения предельного элемента) 01:12:10 - Теорема (о строении элементов вума) Дата лекции: 26.02.2025 Лектор: Дашков Евгений Владимирович Оператор: Фазлеев Ян Монтажёр: Фазлеев Ян Ссылка на плейлист ВК: https://vkvideo.ru/playlist/-206078025_117 Ссылка на плейлист Ютуб: https://www.youtube.com/playlist?list=PL4_hYwCyhAvavQI9DuD0BYtoUpYDpmorS