Експлікативне моделювання в середовищі інтергації
| dc.contributor.author | Редько, Ігор | |
| dc.date.accessioned | 2016-02-18T13:10:41Z | |
| dc.date.available | 2016-02-18T13:10:41Z | |
| dc.date.issued | 1999 | |
| dc.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. | en |
| dc.description.abstract | Досліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів. | uk |
| dc.identifier.citation | Редько І. В. Експлікативне моделювання в середовищі інтергації / І. В. Редько // Наукові записки НаУКМА. - 1999. - Т. 16 : Комп'ютерні науки. - С. 30-35. | uk |
| dc.identifier.uri | https://ekmair.ukma.edu.ua/handle/123456789/8500 | |
| dc.language.iso | uk | uk |
| dc.relation.source | Наукові записки НаУКАМА: Комп'ютерні науки | uk |
| dc.status | published earlier | uk |
| dc.subject | експлікативне модельювання | uk |
| dc.subject | середовище інтеграції | uk |
| dc.subject | параметричні методи редукцій | uk |
| dc.subject | методи дедуктивного аналізу | uk |
| dc.title | Експлікативне моделювання в середовищі інтергації | uk |
| dc.title.alternative | Explicative modeling in integration environment | en |
| dc.type | Article | uk |