eKMAIR

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

Показати скорочений опис матеріалу

dc.contributor.author Іванов, Є. В.
dc.date.accessioned 2018-05-15T14:53:58Z
dc.date.available 2018-05-15T14:53:58Z
dc.date.issued 2010
dc.identifier.citation Іванов Є. Властивості алгебр складноіменних даних / Іванов Є. В. // Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. - С. 95-102. uk_UA
dc.identifier.uri http://ekmair.ukma.edu.ua/handle/123456789/12988
dc.description.abstract У статті розглянуто питання побудови та дослідження алгебр номінативних даних зі складними іменами у рамках композиційно-номінативного підходу. Визначено сім’ю алгебр складноіменних даних і встановлено властивості операцій цих алгебр. Доведено нерозв’язність елементарної теорії алгебри складноіменних даних навіть із порожнім класом базових значень. uk_UA
dc.description.abstract In 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.language.iso uk uk_UA
dc.subject номінативні дані uk_UA
dc.subject композиційно-номінативний підхід uk_UA
dc.subject стаття uk_UA
dc.subject nominative data en_US
dc.subject composition-nominative approach en_US
dc.title Властивості алгебр складноіменних даних uk_UA
dc.title.alternative Properties of algebras of complex-named data en_US
dc.type Article uk_UA
dc.status first published uk_UA
dc.relation.source Наукові записки НаУКМА. Комп'ютерні науки. - 2010. - Т. 112. uk_UA


Долучені файли

Колекції

Показати скорочений опис матеріалу