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

НОВОСТИ

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:

Текущие мероприятия, связанные с математической логикой:

• Logical Perspectives 2020: с докладами выступили Anil Nerode (17 ноября 16:00 Msk), Юрий Гуревич (17 ноября 18:00 Msk), Barbara H. Partee (18 ноября 16:00 Msk). Доступны видео.
• Конференция молодых ученых «Ломоносов 2020» — 11 и 18 ноября 18:30.
  Доступны видео 11.11.2020 и видео 18.11.2020.
• Мальцевские чтения 2020 — 16-20 ноября. (В программе указано Новосибирское время UTC+7, поскольку Московское время UTC+3, надо вычитать 4 часа.)
• Формальная философия 2020 — 16-18 ноября.

2020.10.30:

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

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

2020.10.21:

В среду 21 октября 2020 года в 18:30 на очередном заседании
Научно-исследовательского семинара по математической логике
состоялась Научная конференция «Ломоносовские чтения – 2020»,
секция «Математическая логика». Доступно видео

---

Все новости