eKMAIR

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

Show simple item record

dc.contributor.author Зубенко, Віталій
dc.date.accessioned 2016-02-17T09:31:21Z
dc.date.available 2016-02-17T09:31:21Z
dc.date.issued 2003
dc.identifier.citation Зубенко Віталій Володимирович. Алгебраїчні засоби специфікації інформаційних моделей II / В. В. Зубенко // Наукові записки НаУКМА : Комп'ютерні науки. - 2003. - Т. 21. - С. 31-38. uk
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/8420
dc.description.abstract Робота продовжує. Розглядаються рекурсивні засоби специфікації інформаційних систем. Аналізуються варіанти індуктивних визначень множин та функцій, на які спираються такі специфікації. Розглядаються питання однозначності та процедуризації індуктивно визначених функцій. uk
dc.language.iso uk uk
dc.subject інформаційна система uk
dc.subject однозначність uk
dc.subject процедуризація uk
dc.subject алгебраїчний засіб uk
dc.title Алгебраїчні засоби специфікації інформаційних моделей II uk
dc.type Article uk
dc.status published earlier uk
dc.relation.source Наукові записки НаУКМА: Комп'ютерні науки uk


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics