Алгебраїчні засоби специфікації інформаційних моделей II

Loading...
Thumbnail Image
Date
2003
Authors
Зубенко, Віталій
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Робота продовжує. Розглядаються рекурсивні засоби специфікації інформаційних систем. Аналізуються варіанти індуктивних визначень множин та функцій, на які спираються такі специфікації. Розглядаються питання однозначності та процедуризації індуктивно визначених функцій.
Description
Keywords
інформаційна система, однозначність, процедуризація, алгебраїчний засіб
Citation
Зубенко Віталій Володимирович. Алгебраїчні засоби специфікації інформаційних моделей II / В. В. Зубенко // Наукові записки НаУКМА : Комп'ютерні науки. - 2003. - Т. 21. - С. 31-38.