2022.03.17
Появилась видеозапись встречи кафедры со студентами второго курса.

2022.03.12

Встреча кафедры со студентами второго курса состоится 15 марта в 16:45. Подробнее — тут.

2022.02.27

Появилась информация о просеминаре в весеннем семестре 2021-2022г.

2022.02.17

Появилась информация о спецкурсах весеннего семестра 2021-2022г.

2021.11.16

Приглашаем принять участие в Конференции «Математические основы информатики и информационно-коммуникационных систем»! Программа

2021.09.28

Появилась информация о просеминаре в осеннем семестре 2021 г.

2021.09.10

Появилась информация о спецкурсах и спецсеминарах осеннего семестра 2021 г.

2021.09.08

В среду 8 сентября в 18:30 на заседании «Научно-исследовательского семинара по математической логике» выступил Евгений Колмаков с докладом «Предикаты доказуемости и связанные с ними алгебры». Видео | Подробнее…

2021.09.04

Появилось расписание и видеозаписи лекций А.Л.Семёнова «Введение в математическую логику и теорию алгоритмов».

2021.08.04

Поздравляем Тихона Пшеницына с присуждением ему премии Европейской ассоциации теоретической информатики! Подробнее…

2021.05.01:

Видеозаписи лекций и докладов теперь собраны на этой странице.