English

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

НОВОСТИ

2021.01.25:
Уважаемые студенты! Поздравляем вас с Татьяниным днём и окончанием зимней экзаменационной сессии.

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

2021.01.09:
14 января — Всемирный день логики, учрежденный ЮНЕСКО в 2019 году и приуроченный ко дню рождения Альфреда Тарского (14.01.1901) и дню кончины Курта Гёделя (14.01.1978). [ pdf на русском | Статья в Logica Universalis ]

Список онлайн-мероприятий (семинаров, конференций), проводимых в мире 14.01.2021, можно увидеть на сайте. Подключайтесь!

2021.01.02:
По курсу «Введение в математическую логику» (2-й курс)
экзамен начинается в 9:00, консультации в 10:00 (одна в 9:30).
На странице курса появились:
• программа,
• вопросы к экзамену,
• даты экзаменов,
• даты консультаций,
• инструкция «Как сдавать онлайн-экзамен» (new)
• типовые задачи, которые нужно уметь решать (new)
2020.11.27:
27 ноября исполняется 90 лет со дня рождения профессора Владимира Андреевича Успенского, с 1995 по 2018 гг. руководившего нашей кафедрой.
2020.11.15:
Текущие мероприятия, связанные с математической логикой:
2020.10.30:
Доступны видеозаписи лекций и докладов:
2020.10.21:
В среду 21 октября 2020 года в 18:30 на очередном заседании
Научно-исследовательского семинара по математической логике
состоялась Научная конференция «Ломоносовские чтения – 2020»,
секция «Математическая логика». Доступно видео

Все новости


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