Лекции

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