Створено теоретичні й прикладні основи інтелектуалізації розв'язання складних наукових та прикладних задач. Проведено аналіз сучасних проблем застосування числово-аналітичних методів, визначено клас "складних задач комп'ютерної алгебри". Встановлено можливість розв'язання даної проблеми шляхом інтелектуалізації програмного забезпечення (ПЗ) мовами на аналітичній основі. Запропоновано теоретико-множинну модель задачі та доведено існування такої мови. Обгрунтовано та розроблено основні структури даних, базисні процедури вхідних мов системи комп'ютерної алгебри (СКА) нового покоління для інтелектуалізації ПЗ складних задач. Одержані результати використано в процесі створення нової мови сім'ї АНАЛІТИК - АНАЛІТИК 2 000 та апробовано на реальних прикладних задачах, складних за своїми характеристиками. Розроблено їх аналітичні моделі, методи розв'язування, алгоритми та ПЗ, систематизовано стилі програмування.

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

---

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

• Ляхов Олександр Логвинович (фізико-математичні науки)

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