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

Годовой спецкурс по выбору кафедры для студентов
3 курса кафедры математической логики и теории алгоритмов

Лекторы:
Татьяна Леонидовна Яворская (осенний семестр 2021 г.),
Степан Львович Кузнецов (весенний семестр 2022 г.)

Проходит по понедельникам 16:45–18:20, очно, ауд. 13-03 ГЗ МГУ.
Первая лекция 13 сентября 2021 года

---

Материалы

• Видеозаписи (появятся позже)
• Программа, задачи (появятся позже)

---

Материалы прошлых лет

• Видео: «Математическая логика», часть 2 (С.Л.Кузнецов).
  Темы: теоремы Гёделя о неполноте (весна 2020); начала теории множеств (весна 2021).
• Материалы на странице С. Л. Кузнецова:
  весна 2020 | весна 2021 (программа, задачи, ссылки на видео).
• Материалы 2014/2015 уч. года на странице Л. Д. Беклемишева.