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