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