1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 6(80)'2009
  5. Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения

Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения

М.С. Львов
Аннотации на языках:

Реализация алгоритмов выполнения алгебраических вычислений – одна из основных задач, возникающих при реализации математических систем, основанных на символьных преобразованиях. Математическая модель этой задачи - многосортные алгебраические системы (МАС). В данной работе мы анализируем один из основных методов построения спецификаций МАС, основанный на понятии морфизмов (т.е. изоморфизмом и гомоморфизмов). Этот метод мы применяем к построению иерархии МАС математических систем учебного назначения. Многочисленные примеры иллюстрируют основные теоретические положения. Практика использования этого подхода при разработке математических систем учебного назначения показала его эффективность.
Ключевые слова: Математическая система, символьные преобразования, многосортная алгебраическая система, изоморфизм, гомоморфизм, интерпретаторы алгебраических операций