English

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

НОВОСТИ

2019.11.26:
К юбилею Владимира Андреевича Успенского подготовлена страница
«Кафедра математической логики и теории алгоритмов в стихах»
(составитель В. А. Душский).
2019.11.15:
Поздравляем профессора нашей кафедры Льва Дмитриевича Беклемишева с избранием академиком Российской академии наук!
2019.11.28:
В среду 4 декабря в 18:30 в ауд. 16-04 на заседании «Научно-исследовательского семинара по математической логике» выступили А. Л. Семенов и С. Ф. Сопрунов с докладом «У структуры (ℕ,<) нет максимального разрешимого обогащения». Подробнее... | Смотреть видео
Доступны видеозаписи предыдущих докладов.
2019.11.28:
В понедельник 2 декабря на Колмогоровском семинаре выступили А.Н.Козачинский и В.В.Подольский с докладом «О схемах для функции голосования». Смотреть видео.
Доступны видеозаписи предыдущих докладов.
2019.11.30:
Очередной факультатив для 2 курса проведут проф. Л. Д. Беклемишев и доц. Т. Л. Яворская на тему «Теорема Гёделя о неполноте». Даты: 05 декабря (ЧТ) и 10 декабря (ВТ). Подробнее...

Все новости


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