Курс в весеннем полугодии 2021 г. читает к. ф.-м. н. С. Л. Кузнецов.
В начале семестра курс будет проходить дистанционно (в Zoom'е и с использованием видеозаписей лекций). В дальнейшем при улучшении эпидемической обстановки курс может перейти в очный формат. Для получения ссылки на Zoom обращайтесь к лектору: sk@mi-ras.ru
Смотрите также страницу прошлогоднего курса и конспект 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: ответы на вопросы и обсуждение задач | ||
| ... | |||