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

НОВОСТИ

2019.11.26:

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

2019.11.15:

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

2019.11.28:

В среду 4 декабря в 18:30 в ауд. 16-04 на заседании «Научно-исследовательского семинара по математической логике» выступили А. Л. Семенов и С. Ф. Сопрунов с докладом «У структуры (ℕ,<) нет максимального разрешимого обогащения». Подробнее... | Смотреть видео
Доступны видеозаписи предыдущих докладов.

2019.11.28:

В понедельник 2 декабря на Колмогоровском семинаре выступили А.Н.Козачинский и В.В.Подольский с докладом «О схемах для функции голосования». Смотреть видео.
Доступны видеозаписи предыдущих докладов.

2019.11.30:

Очередной факультатив для 2 курса проведут проф. Л. Д. Беклемишев и доц. Т. Л. Яворская на тему «Теорема Гёделя о неполноте». Даты: 05 декабря (ЧТ) и 10 декабря (ВТ). Подробнее...

---

Все новости