Лекция 3. Китайская теорема об остатках
Лекция из курса:
Предыдущая лекция
![](/img/hd/lecture/2020-02-20-Kuznetsov-Stepan.jpg?3600)
2
Лекция 2. Арифметика Пеано
01:26:14
Следующая лекция
![](/img/hd/lecture/2020-03-05-Kuznetsov-Stepan.jpg?3602)
4
Лекция 4. Кодирование примитивно-рекурсивных функций в PA
01:19:11