Математическая логика. Часть 2
Математика
12 лекций
Обязательный курс для студентов кафедры математической логики и теории алгоритмов. Часть 2.
2020
лекции
спецкурс
Механико-математический факультет
Математика
VI семестр
3 курс
Преподаватель
- 01:20:02Лекция 1. Примитивно-рекурсивные функции
- 01:26:14Лекция 2. Арифметика Пеано
- 01:19:10Лекция 3. Китайская теорема об остатках
- 01:19:11Лекция 4. Кодирование примитивно-рекурсивных функций в PA
- 01:25:17Лекция 5. Гёделева нумерация
- 01:07:15Лекция 6. Параметрическая Δo-полнота
- 01:36:34Лекция 7. Гёделева теория
- 01:28:15Лекция 8. Теория множеств. Часть 1
- 01:22:58Лекция 9. Теория множеств. Часть 2
- 01:33:09Лекция 10. Ординалы
- 01:13:45Лекция 11. Мощности множеств. Часть 1
- 01:14:47Лекция 12. Мощности множеств. Часть 2