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

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

2021.09.10
Появилась информация о спецкурсах и спецсеминарах осеннего семестра 2021 г.
2021.09.08
В среду 8 сентября в 18:30 на заседании «Научно-исследовательского семинара по математической логике» выступил Евгений Колмаков с докладом «Предикаты доказуемости и связанные с ними алгебры». Видео | Подробнее…
2021.09.04
Появилось расписание и видеозаписи лекций А.Л.Семёнова «Введение в математическую логику и теорию алгоритмов».
2021.08.04
Поздравляем Тихона Пшеницына с присуждением ему премии Европейской ассоциации теоретической информатики! Подробнее…
2021.05.01:
Видеозаписи лекций и докладов теперь собраны на этой странице.