English

Кафедра математической логики
и теории алгоритмов
механико-математического факультета
Московского государственного университета

НОВОСТИ

2020.09.23:
Спецкурс «Теория графов и биоинформатика» (онлайн, проф. В.А.Любецкий) начинается 28 сентября в 17:45.
2020.09.22:
Спецкурс «Модальная логика» (онлайн, с.н.с. Е.Е.Золин) начинается 25 сентября в 18:30. Подробнее...
2020.09.19:
Спецкурс «Теория доказательств и формальная арифметика» (Л. Д. Беклемишев, Т. Л. Яворская) начинается 22 сентября (вторник) — онлайн (zoom). Для подключения необходимо заполнить форму.
2020.09.10:
Факультатив для 2-го курса «Математическая логика» начнется:
• 14 сентября (ПН) 17:45–19:15 (для одних групп) ауд. 413.
• 15 сентября (ВТ) 16:00–17:30 (для других групп) ауд. 428.
Он будет проходить в «верхние» недели. Подробнее...
2020.09.09:
Спецкурс «Комбинаторика слов» (онлайн, проф. А.Я.Белов, G.Mehdi) начинается 9 сентября (среда) – вводная лекция; 16 сентября – основная лекция. Подробнее...
2020.09.08:
Спецкурс «Апериодические замощения» (онлайн, проф. Н.К.Верещагин) начинается 16 сентября (среда). Подробнее...
2020.09.07:
Спецкурс «Алгебраическая логика» (онлайн, проф. В.Б.Шехтман) начинается 15 сентября (вторник). Подробнее...
2020.09.04:
Спецкурс «Рациональные интерактивные доказательства» (онлайн, Д.Мусатов) начинается 10 сентября.
2020.09.03:
Спецкурс «Циклические доказательства» (в МИАН, С.Кузнецов, Д.Шамканов) начинается 7 сентября.
2020.09.01:
Лекции «Введение в математическую логику и теорию алгоритмов» (2 курс, Л.Д.Беклемишев, М.Р.Пентус).
2020.05.01:
Дорогие студенты! Напоминаем, что подать заявление о выборе кафедры можно по этой ссылке:
Сайт мехмата \ Учебный процесс \ Подать заявление на кафедру

Все новости


Кафедра находится в ГЗ МГУ, А 16-05. Контакты