Лекции
1
Лекция 1. Примитивно-рекурсивные функции
01:20:02
2
Лекция 2. Арифметика Пеано
01:26:14
3
Лекция 3. Китайская теорема об остатках
01:19:10
4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11
5
Лекция 5. Гёделева нумерация
01:25:17
6
Лекция 6. Параметрическая Δo-полнота
01:07:15
7
Лекция 7. Гёделева теория
01:36:34
8
Лекция 8. Теория множеств. Часть 1
01:28:15
9
Лекция 9. Теория множеств. Часть 2
01:22:58
10
Лекция 10. Ординалы
01:33:09
11
Лекция 11. Мощности множеств. Часть 1
01:13:45
12
Лекция 12. Мощности множеств. Часть 2
01:14:47