Лекции
![](/img/hd/lecture/2020-02-13-Kuznetsov-Stepan.jpg?3599)
1
Лекция 1. Примитивно-рекурсивные функции
01:20:02
![](/img/hd/lecture/2020-02-20-Kuznetsov-Stepan.jpg?3600)
2
Лекция 2. Арифметика Пеано
01:26:14
![](/img/hd/lecture/2020-02-27-Kuznetsov-Stepan.jpg?3601)
3
Лекция 3. Китайская теорема об остатках
01:19:10
![](/img/hd/lecture/2020-03-05-Kuznetsov-Stepan.jpg?3602)
4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11
![](/img/hd/lecture/2020-03-12-Kuznetsov-Stepan.jpg?3603)
5
Лекция 5. Гёделева нумерация
01:25:17
![](/img/hd/lecture/2020-03-20-Kuznetsov-Stepan.jpg?3604)
6
Лекция 6. Параметрическая Δo-полнота
01:07:15
![](/img/hd/lecture/2020-03-27-Kuznetsov-Stepan.jpg?3605)
7
Лекция 7. Гёделева теория
01:36:34
![](/img/hd/lecture/2021-04-10-Kuznetsov-Stepan.jpg?5878)
8
Лекция 8. Теория множеств. Часть 1
01:28:15
![](/img/hd/lecture/2021-04-17-Kuznetsov-Stepan.jpg?5879)
9
Лекция 9. Теория множеств. Часть 2
01:22:58
![](/img/hd/lecture/2021-04-24-Kuznetsov-Stepan.jpg?5880)
10
Лекция 10. Ординалы
01:33:09
![](/img/hd/lecture/2021-05-14-Kuznetsov-Stepan-1.jpg?5881)
11
Лекция 11. Мощности множеств. Часть 1
01:13:45
![](/img/hd/lecture/2021-05-14-Kuznetsov-Stepan-2.jpg?5882)
12
Лекция 12. Мощности множеств. Часть 2
01:14:47