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