Институт математики им. Стеклова и МФТИ открывают базовую кафедру, в рамках которой будет читаться линейка алгоритмических курсов. Вот список курсов и расписание:
пн 10:00 — 11:25: «Теория чисел» (лектор М.Р. Габдуллин)
пн 11:30 — 12:55: «Доказуемость и формальная арифметика» (лекторы Л.Д. Беклемишев и Т.Л. Яворская)
вт 13:35 — 15:00: «Сложность вычислений» (лектор В.В. Подольский, курс общий с «квантовой» линейкой)
вт 15:00 — 16:25: «Геометрическая теория групп» (лектор И.Г. Лысёнок)
вт 17:45 — 19:15: «Сходимость случайных процессов» (лектор В.И. Афанасьев)
Курсы планируются онлайн, некоторые могут быть офлайн в здании МИАН (м. Академическая). Курсы Беклемишева/Яворской и Подольского точно должны быть очень интересными. Подробности можно узнать у куратора программы Степана Кузнецова по адресу sk(собака)mi-ras.ru. О возможностях перезачёта в физтехе можно договориться в индивидуальном порядке. Про зачёт курса Подольского вместо какой-то части моего будет централизованное решение в течение недели.