Математическая логика и теория алгоритмов 3. Трансфинитная индукция

Описание: 00:00 - Информационная часть
1:15 - Повторение
5:16 - Теорема о сравнении ВУМов
18:25 - Теорема о трансфинитной индукции
22:28 - Теорема о существовании и единственности рекурсивной функции
47:50 - Пример неопределенности в рекурсивной функции
51:07 - Обобщенная теорема о трансфинитной индукции
54:17 - Доказательство теоремы о сравнении



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

Оператор: Жильцов Игорь
Монтажер: Калинин Иван