КФУ, Кафедра алгебры и математической логики