Состоялось заседание Научно-исследовательского семинара по математической логике,
посвященное памяти проф. В. А. Успенского. Доступны фото и видео.
Автор: Секретарь кафедры
Заведующим кафедрой математической логики и теории алгоритмов
назначен академик РАН профессор Алексей Львович Семёнов.
Сердечно поздравляем со вступлением в должность и желаем успехов! Коллектив кафедры.