Математическая логика — 2

Обязательный курс для студентов кафедры математической логики и теории алгоритмов, часть 2 (весна 2021)

Руководители: акад. РАН Л. Д. Беклемишев, доц. В. Н. Крупский, доц. Т. Л. Яворская, асс. С. Л. Кузнецов

Курс в весеннем полугодии 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:10Zoom, ответы на вопросы: видеозапись
№ 4видеозапись лекция «Китайская теорема об остатках»
чт 04.03.2021, 15:00–15:10Zoom, ответы на вопросы
№ 5видеозапись лекция «Кодирование примитивно-рекурсивных функций»
чт 11.03.2021, 15:00–15:10Zoom, ответы на вопросы
№ 6видеозапись лекция «Гёделева нумерация»
чт 18.03.2021, 15:00–15:10Zoom, ответы на вопросы: видеозапись
№ 7видеозапись лекция «Параметрическая Δ0-полнота»
чт 25.03.2021, 15:00–15:10Zoom, ответы на вопросы: видеозапись
№ 8видеозапись лекция «Гёделевы теории»
чт 01.04.2021, 15:00–16:35Zoom, ответы на вопросы и обсуждение задач: видеозапись
Тема 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лекция очно (сдвоенная)