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

00:00:00 - Фундированное множество 00:13:53 - Три эквивалентных определения фундированности 00:35:38 - Вполне упорядоченное множество 00:37:32 - Лемма о монотонной функции 00:52:55 - Свойства операций над ВУМами 01:08:07 - Ординалы (начало) Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Савельев Егор Монтажёр: Сиомаш Иван Плейлист: