Кафедра Математической логики и теории алгоритмов

 

Заведующий кафедрой
Семенов Алексей Львович

Ученый секретарь
Оноприенко Анастасия Александровна

Почтовый адрес: 119992, Москва, ГСП-2, Ленинские горы, МГУ, Механико-математический факультет, кафедра математической логики и теории алгоритмов

Аудитория на факультете: 16-05

Сайт кафедры: http://logic.math.msu.ru

Телефон: +7(495)9393031

Лаборатория Логических проблем информатики