Лекция 2. Арифметика Пеано
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2020-02-13-Kuznetsov-Stepan.jpg?3599)
1
Лекция 1. Примитивно-рекурсивные функции
01:20:02
Следующая лекция
![](/img/hd/lecture/2020-02-27-Kuznetsov-Stepan.jpg?3601)
3
Лекция 3. Китайская теорема об остатках
01:19:10