Курс в весеннем полугодии 2021 г. читает к. ф.-м. н. С. Л. Кузнецов.
В начале семестра курс будет проходить дистанционно (в Zoom'е и с использованием видеозаписей лекций). Для получения ссылки на Zoom обращайтесь к лектору: sk@mi-ras.ru
Начиная с лекции № 9, лекции планируется проводить очно (если эпидемическая обстановка существенно не ухудшится).
Смотрите также страницу прошлогоднего курса и конспект 2016 г.
| Тема 1: примитивно-рекурсивные функции | ||
| № 1 | чт 11.02.2021, 15:00–16:35 | лекция в Zoom'е: видеозапись |
| № 2 | чт 18.02.2021, 15:00–16:35 | лекция в Zoom'е: видеозапись |
| Тема 2: теоремы Гёделя о неполноте конспект задачи и упражнения | ||
| № 3 | видеозапись | лекция «Арифметика Пеано» |
| чт 25.02.2021, 15:00–15:10 | Zoom, ответы на вопросы: видеозапись | |
| № 4 | видеозапись | лекция «Китайская теорема об остатках» |
| чт 04.03.2021, 15:00–15:10 | Zoom, ответы на вопросы | |
| № 5 | видеозапись | лекция «Кодирование примитивно-рекурсивных функций» |
| чт 11.03.2021, 15:00–15:10 | Zoom, ответы на вопросы | |
| № 6 | видеозапись | лекция «Гёделева нумерация» |
| чт 18.03.2021, 15:00–15:10 | Zoom, ответы на вопросы: видеозапись | |
| № 7 | видеозапись | лекция «Параметрическая Δ0-полнота» |
| чт 25.03.2021, 15:00–15:10 | Zoom, ответы на вопросы: видеозапись | |
| № 8 | видеозапись | лекция «Гёделевы теории» |
| чт 01.04.2021, 15:00–16:35 | Zoom, ответы на вопросы и обсуждение задач: видеозапись | |
| Тема 3: теория множеств Цермело–Френкеля | ||
| № 9 | сб 10.04.2021, 12:45–14:15 | лекция очно |
| № 10 | сб 17.04.2021, 12:45–14:15 | лекция очно |
| № 11 | сб 24.04.2021, 12:45–14:15 | лекция очно |
| № 12–13 | пт 14.05.2021, 10:00–13:15 | лекция очно (сдвоенная) |