Редько, Ігор2016-02-182016-02-181999Редько І. В. Експлікативне моделювання в середовищі інтергації / І. В. Редько // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 30-35.https://ekmair.ukma.edu.ua/handle/123456789/8500The problems of effective reduction of parametric logical-mathematical specifications of classes of tasks in explicative models with oracle are studied. Parametric methods of this reductions for fundamental classes of this specifications are being built. Representative classes of examples of this eductions are adduced.Досліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів.ukексплікативне модельюваннясередовище інтеграціїпараметричні методи редукційметоди дедуктивного аналізуArticle