Розвинуто уявлення про складну прикладну математичну задачу про об'єкт мови систем комп'ютерної алгебри. Запропоновано методологічні принципи та сформульовано основні положення теоретико-множинної моделі задачі. Встановлено, що для представлення даних та опису процесу розв'язування складних задач треба використовувати мову на аналітичній основі. Доведено її існування та сформульовано деякі наслідки цієї теореми. Обгрунтовано й одержано подальший розвиток уявлення про структуру даних про задачу. На підставі уявлень розроблено деякі процедури для мови нового покоління АНАЛІТИК-2000. У ході їх застосування разом із апаратом керування перетвореннями з'являються додаткові можливості для програмування перетворень на множині виразів без рекурсивного виконання підстановок. Наведено результати й аналіз апробації розроблених засобів.

• Клименко Віктор Павлович (сільськогосподарські науки)
• Клименко Вадим Петрович (медичні науки)

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