Свойства категориального исчисления зависимостейдипломная работа (Специалист)