English

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

НОВОСТИ

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 ]

Все новости


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