Алгебраїчні засоби специфікації інформаційних моделей II
eKMAIR
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгебраїчні засоби специфікації інформаційних моделей II
|
|
| Creator |
Зубенко, Віталій
|
|
| Subject |
інформаційна система
однозначність процедуризація алгебраїчний засіб |
|
| Description |
Робота продовжує. Розглядаються рекурсивні засоби специфікації інформаційних систем. Аналізуються варіанти індуктивних визначень множин та функцій, на які спираються такі специфікації. Розглядаються питання однозначності та процедуризації індуктивно визначених функцій.
|
|
| Date |
2016-02-17T09:31:21Z
2016-02-17T09:31:21Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Зубенко Віталій Володимирович. Алгебраїчні засоби специфікації інформаційних моделей II / В. В. Зубенко // Наукові записки НаУКМА : Комп'ютерні науки. - 2003. - Т. 21. - С. 31-38.
http://ekmair.ukma.edu.ua/handle/123456789/8420 |
|
| Language |
ua
|
|
| Relation |
Наукові записки НаУКМА: Комп'ютерні науки
|
|