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