Кафедра математической логики и теории алгоритмов

2020.01.19:: 23 января онлайн-консультация Л.Д.Беклемишева — по адресу https://zoom.us/j/538495567
Л.Д. Беклемишев проведет ряд консультаций по курсу «Введение в математическую логику и теорию алгоритмов» онлайн через систему Zoom. Даты консультаций: 12, 15, 19, 23 января. Подробнее...
2020.01.14:: 14 января — Всемирный день логики, учрежденный ЮНЕСКО в 2019 году и приуроченный ко дню рождения Альфреда Тарского (14.01.1901) и дню кончины Курта Гёделя (14.01.1978). [ pdf на русском | Статья в Logica Universalis ]
2019.11.26:: К юбилею Владимира Андреевича Успенского подготовлена страница
«Кафедра математической логики и теории алгоритмов в стихах»
(составитель В. А. Душский).
2019.11.15:: Поздравляем профессора нашей кафедры Льва Дмитриевича Беклемишева с избранием академиком Российской академии наук!

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