Пошук академічних текстів

Інформація × Реєстраційний номер 0407U001188, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 23-02-2007 Статус Запланована Назва роботи Методи комп'ютерної алгебри та символьних перетворень при проектуванні математичних систем учбового призначення Здобувач Песчаненко Володимир Сергійович, Керівник Летичевський Олександр Адольфович Опонент Клименко Віталій Петрович Опонент Гороховський Семен Самуїлович Опис У дисертації запропоновано методи побудови багатосортних алгебр в термінах структур розширень, гомоморфізмів, ізоморфізмів та спадкування багатосортних алгебр. Побудовано математичну модель модуля алгебраїчних обчислень математичної системи учбового призначення у термінах розширень, гомоморфізмів, ізоморфізмів та спадкування багатосортних алгебр системи ТерМ. Математичну модель модуля алгебраїчних обчислень ТерМ реалізовано у вигляді прототипу та остаточної версії у системі алгебраїчного програмування APS. Визначено системні та технологічні вимоги до систем проектування алгебраїчних обчислень. Систему алгебраїчного програмування APS приведено у відповідність цим вимогам. До задач прототипування та реалізації багатосортної алгебри застосовано методи інсерційного програмування. Обґрунтовано та реалізовано специфічні алгоритми задач генерації та перевірки правильності кроку розв’язання алгебраїчних задач, генерації ходу розв’язання алгебраїчних задач, інших прикладних задач в математичній системі учбовогопризначення ТерМ. У результаті побудовано математичну систему учбового призначення, яка комплексно підтримує процес вивчення шкільного курсу алгебри. Дата реєстрації 2007-02-23 Додано в НРАТ 2020-04-04 Закрити