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

НОВОСТИ

Уважаемые студенты 2 курса!

Встреча кафедры со студентами 2 курса состоится
в пятницу 19 марта в 16:45
(дистанционно; ссылка Zoom будет позже).

Весной вы будете выбирать кафедру и научного руководителя.
Приглашаем вас на нашу
Кафедру математической логики и теории алгоритмов!
Познакомиться местом математической логики и теории алгоритмов в науке и ее приложениях, а также с темами исследований, проводимыми нашими сотрудниками, можно на странице «Деятельность кафедры».
Контакты сотрудников можно на странице «Состав кафедры».

2020.02.25:

1 марта на заседании «Межкафедрального семинара имени А.Н. Колмогорова» для студентов 1-2 курса состоится доклад акад. А.Л. Семёнова «Теория определимости: Теорема Гёделя». Подробнее...

2020.02.20:

Уважаемые студенты, аспиранты и молодые ученые! Успейте до 3 марта (вкл.) подать работу на научную конференцию «Ломоносов 2021», которая пройдет в МГУ с 12 по 23 апреля 2021 года.

2021.02.02:

Спецкурсы: весна 2021 (информация и идентификаторы Zoom)

2020.10.30:

Доступны видеозаписи лекций и докладов осеннего семестра 2020 года:

• «Введение в математическую логику и теорию алгоритмов» (2 курс)
• «Научно-исследовательский семинар по математической логике»
• «Колмогоровский семинар по сложности вычислений и сложности определений»
• «Алгоритмические вопросы алгебры и логики» («Семинар С.И. Адяна»)
• «Модальная и алгебраическая логика» (спецсеминар)
• спецкурс «Теория доказательств и формальная арифметика» (Л. Д. Беклемишев, Т. Л. Яворская)
• спецкурс «Циклические доказательства» (С. Л. Кузнецов, Д. С. Шамканов)
• спецкурс «Модальная логика» (Е. Е. Золин)
• спецкурс «Математическая биология» | материалы (В. А. Любецкий)
• спецкурс «Апериодические замощения» (Н. К. Верещагин)
• курс ЕНС «Error correcting codes» (Н. К. Верещагин)

---