Досліджено проблеми ефективного редукування параметричних логіко-математичних специфікацій класів задач в експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розроблено параметричні методи декомпозиції задач. Їх основу становлять поняття редукції та h-редукції. Функцію g називають редукцією функції f, якщо справедливою є рівність <$E g~omicron~f~=~f> та функція g є h-редукцією функції f, якщо справедливо, що <$E g~omicron~f~=~f~omicron~h>, де <$E omicron> - операція мультиплікування, що надає упорядкованій парі функцій (g, f) нову функцію, яка являє собою послідовне виконання вихідних функцій, що узагальнюють собою звичайне множення функцій, а h - довільна, але фіксована функція. Значимість цих понять полягає в тому, що вони дозволяють адекватно розкривати логіки задач, на основі яких різні реалізації їх у вигляді тих або інших процедур розв'язання задач, різноманітних алгоритмів, моделей, програм тощо утворюються вже автоматично з гарантованою коректністю.

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж16492 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 

---

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

• Редько Ігор Володимирович (фізико-математичні науки)

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