Факультет прикладной математики — процессов управления
Математическая логика и Теория вычислимости
