Основи експлікативного моделювання
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Основи експлікативного моделювання
Explicative modeling in integration environment |
|
| Creator |
Редько, І.
|
|
| Subject |
експлікативне модельювання
середовище інтеграції параметричні методи редукцій методи дедуктивного аналізу |
|
| 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.
Досліджуються проблеми ефективної редукції параметричних логіко-математичних специфікацій класів задач у експлікативні моделі з оракулами. Стосовно основних класів таких специфікацій розробляються параметричні методи редукцій. Останні ілюструються на репрезентативних класах прикладів. |
|
| Date |
2016-02-18T13:10:41Z
2016-02-18T13:10:41Z 1999 |
|
| Type |
Article
|
|
| Identifier |
Редько І. Основи експлікативного моделювання / І. Редько // Наукові записки НаУКАМА. - 1999. - Т. 16: Комп'ютерні науки. - С. 30-35.
http://ekmair.ukma.edu.ua/handle/123456789/8500 |
|
| Language |
ua
|
|
| Relation |
Наукові записки НаУКАМА. - 1999. - Т. 16: Комп'ютерні науки. - С. 30-35.
|
|