x 1.00
Лекция 3. Китайская теорема об остатках
- 03:28Определение наименьшего общего кратного чисел + упражнения
- 13:06Китайская теорема об остатках и её доказательство
- 34:36β-функция Гёделя
- 53:07Кодирование пар
- 01:00:30Ограниченные кванторы
- 01:05:36Теорема 1: класс Σ1 замкнут относительно ∧, ∨, ∃, ∀x