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

НОВОСТИ

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:

Дорогие студенты! Напоминаем, что подать заявление о выборе кафедры можно по этой ссылке:
Сайт мехмата \ Учебный процесс \ Подать заявление на кафедру

---

Все новости