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

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

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

Курс в весеннем полугодии 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: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: ответы на вопросы и обсуждение задач
...