Обязательный спецкурс кафедры математической логики и теории алгоритмов.