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

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

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

Дата лекции: 14.02.24
Лектор: Мусатов Даниил Владимирович

Оператор: Карплюк Ксения
Монтажёр: Сиомаш Иван

Плейлист:    • Математическая логика и теория алгори...  

Комментарии

Информация по комментариям в разработке

Похожие видео