Властивості алгебр складноіменних даних

Simple item page
dc.contributor.authorІванов, Є. В.
dc.date.accessioned2018-05-15T14:53:58Z
dc.date.available2018-05-15T14:53:58Z
dc.date.issued2010
dc.description.abstractУ статті розглянуто питання побудови та дослідження алгебр номінативних даних зі складними іменами у рамках композиційно-номінативного підходу. Визначено сім’ю алгебр складноіменних даних і встановлено властивості операцій цих алгебр. Доведено нерозв’язність елементарної теорії алгебри складноіменних даних навіть із порожнім класом базових значень.uk_UA
dc.description.abstractIn the article the problem of defining and developing algebras of nominative data with complex names within composition-nominative approach is considered. A class of algebras of complex-named data is defined and properties of the operations of these algebras are investigated. Elementary theory of algebra of complex-named data even with empty class of base values is shown to be undecidable.en_US
dc.identifier.citationІванов Є. Властивості алгебр складноіменних даних / Іванов Є. В. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 95-102.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/12988
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112.uk_UA
dc.statusfirst publisheduk_UA
dc.subjectномінативні даніuk_UA
dc.subjectкомпозиційно-номінативний підхідuk_UA
dc.subjectстаттяuk_UA
dc.subjectnominative dataen_US
dc.subjectcomposition-nominative approachen_US
dc.titleВластивості алгебр складноіменних данихuk_UA
dc.title.alternativeProperties of algebras of complex-named dataen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Ivanov_Vlastyvosti_alhebr_skladnoimennykh_danykh.pdf
Size:
1.87 MB
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
112: Комп'ютерні науки