Исследуются проблемы эффективной редукции параметрических логико-математических спецификаций классов задач в экспликативные программы с оракулами. Применительно к основным классам таких спецификаций разрабатываются параметрические методы редукций. Последние иллюстрируются на репрезентативных классах примеров.
Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"