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

НОВОСТИ

2019.02.20:

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

2020.02.06:

Готово расписание и аннотации спецкурсов на весенний семестр. Следите за обновлениями!

2020.02.06:

Встреча кафедры со студентами 2 курса: 16 марта (понедельник) в 16:45 ауд. 13-06.

2020.02.05:

Даты пересдач по курсу логики для 2 курса:
четверг 13 и 20 января, 05 февраля, в 16:45, в ауд. 13-11.

2020.02.04:

До 27 февраля (вкл.) принимаются заявки для участия в Научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2020», которая пройдет с 13 по 17 апреля. Подробнее | Ломоносов 2019 (доступно видео)

2020.01.14:

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

2019.11.26:

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

2019.11.15:

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

---

Все новости