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

НОВОСТИ

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.04.21:

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

---

Все новости