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