Кафедры

Адрес: 119899, ГСП-3, Москва, В-234, Воробьевы горы, МГУ,Механико-математический факультет, кафедра математической логики и теории алгоритмов
Официальная страничка: http://lpcs.math.msu.su/rus/logic.htm
E-mail: pentus@lpcs.math.msu.ru
Тип кафедры: Отделение математики
Аудитория: 16–5

1. математическая логика,
2. теория вычислимости,
3. алгоритмические вопросы алгебры,
4. теория доказательств,
5. логические методы в информатике,
6. конструктивная логика,
7. модальная логика,
8. сложность вычислений,
9. колмогоровская сложность.

Первым заведующим кафедрой был А.А.Марков, затем кафедру возглавляли А.Н.Колмогоров, В.А.Мельников и В.А.Успенский.

• Андрей Андреевич Марков (22.09.1903 - 11.10.1979). Заведующий кафедрой с 1959 г. по октябрь 1979 г. (одновременно заведующий лабораторией математической логики и структуры машин Вычислительного центра АН СССР). А.А.Марков - выдающийся российский математик, член-корреспондент АН СССР, плодотворно работавший в области алгебры, топологии, механики, математической логики и теории вычислимости, основоположник российской научной школы конструктивной математики.
• Андрей Николаевич Колмогоров (25.04.1903 - 20.10.1987). Заведующий кафедрой с января 1980 г. по октябрь 1987 г. (одновременно заведующий отделением математики Механико-математического факультета МГУ). Великий математик, академик А.Н.Колмогоров является автором первой статьи на русском языке, содержащей результаты по математической логике (опубликована в 1925 г.). А.Н.Колмогоровым был получен ряд фундаментальных результатов в математической логике и ее приложениях.
• Владимир Андреевич Мельников (18.08.1928 - 07.05.1993). Заведующий кафедрой с 1988 г. по май 1993 г. (одновременно директор Института проблем кибернетики АН СССР). Научная деятельность академика В.А.Мельникова охватывала целый спектр научных и технических проблем создания новых образцов вычислительной техники.
• Владимир Андреевич Успенский (родился 27.11.1930). Заведующий кафедрой с января 1995 г. В.А.Успенский начал свою научную деятельность, будучи студентом А.Н.Колмогорова, и в настоящее время продолжает работу по изучению и развитию колмогоровского наследия.

В 1992 г. кафедра математической логики получает новое название - кафедра математической логики и теории алгоритмов.

В 1995 г. при кафедре организована Лаборатория логических проблем информатики