1. Science
  2. Publications
  3. Information Processing Systems
  4. 6(80)'2009
  5. Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

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.
Keywords: mathematical systems, symbolic transformations, multy-sorted algebraic systems, isomorphism and homomorphism, interpreters of algebraic operations