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

 

Заведующий кафедрой
Успенский Владимир Андреевич

Ученый секретарь
Золин Евгений Евгеньевич

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

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

Сайт кафедры: http://lpcs.math.msu.su/rus/logic.htm

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

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