Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення ; Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения ; Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

Authors: М.С. Львов, M.S. Lvov

Source: Системи обробки інформації. — 2009. — № 6(80). 183-190 ; Системы обработки информации. — 2009. — № 6(80). 183-190 ; Information Processing Systems. — 2009. — № 6(80). 183-190 ; 1681-7710

Subject Terms: Математичні моделі та методи, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, ізоморфізми та гомоморфізми, інтерпретатори алгебраїчних операцій, Математическая система, символьные преобразования, многосортная алгебраическая система, изоморфизм, гомоморфизм, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multy-sorted algebraic systems, isomorphism and homomorphism, interpreters of algebraic operations

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf; http://www.hups.mil.gov.ua/periodic-app/article/6692

Availability: http://www.hups.mil.gov.ua/periodic-app/article/6692

Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр ; Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр ; Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Authors: М.С. Львов, M.S. Lvov

Source: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137 ; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137 ; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137 ; 2073-7378

Subject Terms: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations

File Description: application/pdf

Relation: http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf; http://www.hups.mil.gov.ua/periodic-app/article/3984

Availability: http://www.hups.mil.gov.ua/periodic-app/article/3984

Метод морфізмів реалізації алгебраїчних обчислень в математичних системах навчального призначення

Additional Titles: Метод морфизмов реализации алгебраических вычислений в математических системах учебного назначения
Method of morphisms at realization of algebraic cомputations in mathematical systems of educational setting

Authors: М.С. Львов, M.S. Lvov

Source: Системи обробки інформації. — 2009. — № 6(80). 183-190; Системы обработки информации. — 2009. — № 6(80). 183-190; Information Processing Systems. — 2009. — № 6(80). 183-190; 1681-7710

Index Terms: Математичні моделі та методи, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, ізоморфізми та гомоморфізми, інтерпретатори алгебраїчних операцій, Математическая система, символьные преобразования, многосортная алгебраическая система, изоморфизм, гомоморфизм, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multy-sorted algebraic systems, isomorphism and homomorphism, interpreters of algebraic operations, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

URL: http://www.hups.mil.gov.ua/periodic-app/article/6692
http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf
http://www.hups.mil.gov.ua/periodic-app/article/6692/soi_2009_6_44.pdf

Верифікація інтерпретаторів алгебраїчних операцій в розширеннях багатосортних алгебр

Additional Titles: Верификация интерпретаторов алгебраических операций в расширениях многосортных алгебр
Verification of interpreters of algebraic operations in expansions of multi-sorted algebras

Authors: М.С. Львов, M.S. Lvov

Source: Збірник наукових праць Харківського національного університету Повітряних Сил. — 2009. — № 3(21). 127-137; Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2009. — № 3(21). 127-137; Scientific Works of Kharkiv National Air Force University. — 2009. — № 3(21). 127-137; 2073-7378

Index Terms: Кібернетика та системний аналіз, УДК 004.415.28, математичні системи, символьні перетворення, багатосортні алгебраїчні системи, розширення алгебраїчних систем, верифікація, інтерпретатори алгебраїчних операцій, математическая система, символьные преобразования, многосортные алгебраические системы, расширения алгебраических систем, верификация, интерпретаторы алгебраических операций, mathematical systems, symbolic transformations, multi-sorted algebraic systems, expansions of algebraic systems, verification, interpreters of algebraic operations, info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion, Рецензована стаття

URL: http://www.hups.mil.gov.ua/periodic-app/article/3984
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf
http://www.hups.mil.gov.ua/periodic-app/article/3984/zhups_2009_3_31.pdf