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