M.S. Lvov

Annotations languages:

Development of algorithms of algebraic computations implementation is one of basic tasks, which arise up during realization of mathematical systems, based on symbolic transformations. The mathematical model of this task is multi-sorted algebraic systems (MAS). In this work we analyze one of the methods of specifications construction of algebraic systems, based on the concept of morphism (i.e. isomorphism and homomorphism) of MAS. We apply this method to the construction of hierarchy MAS of the mathematical systems of educational destination. Computation examples illustrate substantive theoretical positions. The practice of the use of method of morphism at development of the mathematical systems of educational destination shows its efficiency.