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

Зубенко, Віталій

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