Експлікативне моделювання в середовищі інтергації
Loading...
Date
1999
Authors
Редько, Ігор
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Досліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів.
Description
The 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.
Keywords
експлікативне модельювання, середовище інтеграції, параметричні методи редукцій, методи дедуктивного аналізу
Citation
Редько І. В. Експлікативне моделювання в середовищі інтергації / І. В. Редько // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 30-35.