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

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Волков Владислав Анатолійович (фізико-математичні науки)
• Волков Вадим Анатолійович (сільськогосподарські науки)
• Волков Вадим Анатолійович (фізико-математичні науки)
• Волков Валерій Андрійович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"