Полугодовой спецкурс по выбору кафедры математической логики и теории алгоритмов.
Осень 2022 года
Весна 2020 года
2016/2017 уч. год