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

НОВОСТИ

2020.03.17:

По курсу ЕНС «Математическая логика и алгоритмы» (проф. В.Б.Шехтман) появились материалы.

2020.03.17:

В связи с временным переходом университета на дистанционную форму работы:
• конференции «Ломоносов 2020» и «Ломоносовские чтения 2020» переносятся (ориентировочно на осень 2020 года);
• материалы для дистанционного освоения образовательных курсов будут подготавливаться и выкладываться на сайте кафедры и/или лекторов;
• информация о приостановке либо дистанционном проведении спецсеминаров будет разослана их руководителями;
• информация о планировавшейся пересдаче будет обновлена.

2020.03.16:

Встреча кафедры со студентами 2 курса состоялась: 16 марта (понедельник) в 16:45 ауд. 13-06.
Дорогие студенты 2 курса! Познакомиться с направлениями исследований, которыми занимается тот или иной сотрудник кафедры (возможный научный руководитель), можно на следующих веб-страницах: кафедра | исследования. Можно сразу выбрать интересную Вам задачу для исследования и обсуждать ее с будущим руководителем.

2020.03.10:

В среду 11 марта в 18:30 в ауд. 16-04 на заседании «Научно-исследовательского семинара по математической логике» выступил В. В. Подольский с докладом «Гипотеза чувствительности и ее доказательство». Подробнее... | Смотреть видео

2020.01.14:

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

2019.11.26:

К юбилею Владимира Андреевича Успенского подготовлена страница
«Кафедра математической логики и теории алгоритмов в стихах»
(составитель В. А. Душский).

2019.11.15:

Поздравляем профессора нашей кафедры Льва Дмитриевича Беклемишева с избранием академиком Российской академии наук!

---

Все новости