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

Важные объявления и новости архив новостей 

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:
Видеозаписи лекций и докладов теперь собраны на этой странице.