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

НОВОСТИ

2020.02.21:

26-27 мая (вторник – среда) состоится Мемориальная онлайн-конференция памяти академика С.И.Адяна.
Для участия (получения ссылки) необходимо зарегистрироваться. Подробнее...

2020.05.14:

В среду 20 мая в 18:30 на заседании «Научно-исследовательского семинара по математической логике» выступил
И. А. Мельников и И. В. Митрофанов с докладом
«О логарифмической оценке функции ко-роста равномерно рекуррентных сверхслов». Подробнее...

2020.05.01:

Дорогие студенты! Напоминаем, что подать заявление о выборе кафедры можно (до 15 мая) по этой ссылке:
Сайт мехмата \ Учебный процесс \ Подать заявление на кафедру

2020.05.05:

С глубоким прискорбием сообщаем, что 5 мая 2020 года на 90-м году жизни скончался выдающийся математик
Сергей Иванович Адян. Страница памяти | Прощальная церемония

2020.04.18:

В среду 22 апреля в 18:30 на заседании «Научно-исследовательского семинара по математической логике» выступил С. Л. Кузнецов с докладом
«Coq: построение и проверка математических доказательств на компьютере». Смотреть видео | Подробнее...

2020.04.15:

В среду 15 апреля в 18:30 на заседании «Научно-исследовательского семинара по математической логике» выступил
проф. Георгий Борисович Шабат с докладом «Верификация длинных доказательств: мечты, планы и реальность».
Смотреть видео | Подробнее...

2020.04.09:

Внимание! Информация для слушателей курса МФК «Категориальные грамматики» здесь.

2020.03.17:

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

2020.03.17:

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

2020.03.16:

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

2020.01.14:

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

---

Все новости