О спецкурсах по математической логике и смежным темам, которые читаются в рамках Научно-образовательного центра https://www.mi-ras.ru/index.php?c=noc и базовой кафедры МИАН в МФТИ https://www.mi-ras.ru/index.php?c=chairmfti • спецкурсы открыты для всех желающих! • студенты и аспиранты могут в конце семестра • сдавать экзамены и засчитывать оценки по месту обучения (в соответствии с действующими соглашениями между МИАН и вузами) • всем слушателям (даже тем, кто смотрит видеозаписи) просьба зарегистрироваться на посещаемые ими курсы на соответствующих страницах портала MathNet Лекции будут читаться очно в здании МИАН (Москва, ул. Губкина, 8) Имеется также возможность подключения через Zoom Ссылки на Zoom обычно рассылаются зарегистрированным слушателям перед первой лекцией Список спецкурсов: Л.Д. Беклемишев, Т.Л. Яворская Доказуемость и формальная арифметика, часть 2 http://www.mathnet.ru/conf2306 вторник, 16:45, ауд. 303 Первая лекция – 12 сентября А.В. Кудинов, Д.С. Шамканов Окрестностная семантика модальных логик http://www.mathnet.ru/conf2312 вторник, 18:30, ауд. 430 Первая лекция – 12 сентября И.Г. Лысенок Алгоритмические вопросы алгебры https://www.mathnet.ru/conf2323 вторник, 14:45, ауд. 430 Первая лекция – 12 сентября В.Г. Кановей Дескриптивная теория множеств http://www.mathnet.ru/conf2312 среда, 18:00, ауд. 313 Первая лекция – 13 сентября Д.В. Мусатов Введение в теорию сложности https://www.mathnet.ru/conf2318 понедельник, 14:45, ауд. 430 Первая лекция – 11 сентября С.О. Сперанский Основы теории множеств https://www.mathnet.ru/conf2319 понедельник, 16:25, ауд. 430 Первая лекция – 11 сентября В.Б. Шехтман Алгебраическая логика и категории https://www.mathnet.ru/conf2303 четверг, 18:00, ауд. 104 Первая лекция – 14 сентября Кроме того, в МИАН продолжат работу семинары! И.Г. Лысенок, А.Л. Таламбуца Семинар по геометрической теории групп (в рамках НОЦ) https://www.mathnet.ru/conf1892 четверг, 18:00, ауд. 430 Заседания возобновляются 14 сентября О предстоящих докладах на семинаре “Теория доказательств” / Logic Online Seminar под руководством Л.Д. Беклемишева https://www.mathnet.ru/conf876 будут отдельные посты