Видеозаписи лекций и докладов

«Введение в математическую логику и теорию алгоритмов» — лекции А.Л.Семёнова (осень 2021):
1. «Наивная теория множеств. Напоминание»
2. «Трансфинитная индукция»
«Введение в математическую логику и теорию алгоритмов» (видеозаписи лекций разных лет)
спецкурс «Теория доказательств и формальная арифметика» (Л. Д. Беклемишев, Т. Л. Яворская, осень 2020)
спецкурс «Циклические доказательства» (С. Л. Кузнецов, Д. С. Шамканов, осень 2020)
спецкурс «Модальная логика» (Е. Е. Золин, 2020/2021 уч. год)
спецкурс «Advanced course in classical logic» (Е. Е. Золин, весна 2021, на англ. яз.)
спецкурс «Математическая биология» | материалы (В. А. Любецкий, 2020/2021 уч. год)
спецкурс «Апериодические замощения» (Н. К. Верещагин, осень 2020)
курс ЕНС «Error correcting codes» (Н. К. Верещагин, осень 2020, на англ. яз.)