Досліджено проблему взаємодії в єдиному програмному середовищі компонентів, що підтримують різнорідні види математичної діяльності. Показано, що дана взаємодія забезпечується інтеграцією основних парадигм програмування (імперативної, функціональної, логічної та алгебричної) на основі алгебричної. Створено методологію координації різноманітних видів математичної активності у різнорідному програмному середовищі шляхом подання систем у вигляді взаємодіючих математичних агентів. Розроблено базові засоби системи алгебричного програмування (АПС), що підтримують інтеграцію його основних парадигм. Сформульовано архітектурні рішення, які реалізують ієрархію мовних засобів і забезпечують одночасний доступ до всіх рівнів програмування, починаючи з мови конкретної предметної області та закінчуючи рівнем мови C/C++. Дану архітектуру реалізовано у засобах програмної підтримки розробленої методології та використано для створення системи перевірки формальних вимог VRS. Розроблено декларативне (алгебричне) представлення породжуючої схеми для класу алгоритми типу поповнення критичними парами. Досліджено його властивості та реалізовано комплекс інструментальних програмних засобів для використання алгоритмамів подібного типу, за допомогою яких реалізовано їх декілька варіантів. Розроблено новий підхід щодо розв'язання задач інтеграції символьних обчислень з використанням чисельних методів і засобів штучного інтелекту. На основі даного підходу реалізовано систему комп'ютерної алгебри AIST, орієнтовану на підтримку процесу викладання математики, та систему чисельно-аналітичних перетворень, призначену для дослідження задач прикладного математичного аналізу.

  Завантажити