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