Математическая логика и теория алгоритмов 2. Теорема о сравнении ВУМ

00:00:00 - Начальные отрезки 00:12:54 - Предельные элементы 00:23:12 - Подводка к теореме о сравнении ВУМ 00:31:35 - Док-во теоремы о структуре 00:41:21 - Построение изоморфизма 00:45:11 - План док-ва теоремы о сравнении 01:13:54 - Обобщенная теорема о трансфинитной рекурсии Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Карплюк Ксения Монтажёр: Сиомаш Иван Плейлист: