Построение математической модели реляционной базы данных на основе лямбда-исчисления с зависимыми типамикурсовая работа (Специалист)