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

Simple item page
dc.contributor.authorЗубенко, Віталій
dc.date.accessioned2016-02-17T09:31:21Z
dc.date.available2016-02-17T09:31:21Z
dc.date.issued2003
dc.description.abstractРобота продовжує. Розглядаються рекурсивні засоби специфікації інформаційних систем. Аналізуються варіанти індуктивних визначень множин та функцій, на які спираються такі специфікації. Розглядаються питання однозначності та процедуризації індуктивно визначених функцій.uk
dc.identifier.citationЗубенко Віталій Володимирович. Алгебраїчні засоби специфікації інформаційних моделей II / В. В. Зубенко // Наукові записки НаУКМА : Комп'ютерні науки. - 2003. - Т. 21. - С. 31-38.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/8420
dc.language.isoukuk
dc.relation.sourceНаукові записки НаУКМА: Комп'ютерні наукиuk
dc.statuspublished earlieruk
dc.subjectінформаційна системаuk
dc.subjectоднозначністьuk
dc.subjectпроцедуризаціяuk
dc.subjectалгебраїчний засібuk
dc.titleАлгебраїчні засоби специфікації інформаційних моделей IIuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Zubenko_Algebrayichni_zasoby_specyfikaciyi.pdf
Size:
496.98 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
021: Комп'ютерні науки