Search academic texts

Information × Registration Number 0407U001188, Candidate dissertation Status к.ф.-м.н. Date 23-02-2007 popup.evolution o Title Methods of Computer Algebra and Symbolic Conversion at the Design of Mathematical Systems of Educational Purpose Author Peschanenko Vladimir Sergeevich, popup.head Letychevsky Alexandr Adolfovich popup.opponent Клименко Віталій Петрович popup.opponent Гороховський Семен Самуїлович Description У дисертації запропоновано методи побудови багатосортних алгебр в термінах структур розширень, гомоморфізмів, ізоморфізмів та спадкування багатосортних алгебр. Побудовано математичну модель модуля алгебраїчних обчислень математичної системи учбового призначення у термінах розширень, гомоморфізмів, ізоморфізмів та спадкування багатосортних алгебр системи ТерМ. Математичну модель модуля алгебраїчних обчислень ТерМ реалізовано у вигляді прототипу та остаточної версії у системі алгебраїчного програмування APS. Визначено системні та технологічні вимоги до систем проектування алгебраїчних обчислень. Систему алгебраїчного програмування APS приведено у відповідність цим вимогам. До задач прототипування та реалізації багатосортної алгебри застосовано методи інсерційного програмування. Обґрунтовано та реалізовано специфічні алгоритми задач генерації та перевірки правильності кроку розв’язання алгебраїчних задач, генерації ходу розв’язання алгебраїчних задач, інших прикладних задач в математичній системі учбовогопризначення ТерМ. У результаті побудовано математичну систему учбового призначення, яка комплексно підтримує процес вивчення шкільного курсу алгебри. Registration Date 2007-02-23 popup.nrat_date 2020-04-04 Close