dc.contributor.author | Бісікало, О. В. | uk |
dc.contributor.author | Кравчук, І. А. | uk |
dc.contributor.author | Кириленко, Г. О. | uk |
dc.contributor.author | Бисикало, О. В. | ru |
dc.contributor.author | Кравчук, И. А. | ru |
dc.contributor.author | Кириленко, А. А. | ru |
dc.contributor.author | Bisikalo, O. V. | en |
dc.contributor.author | Kravchuk, I. A. | en |
dc.contributor.author | Kyrylenko, H. O. | en |
dc.date.accessioned | 2016-02-03T08:15:12Z | |
dc.date.available | 2016-02-03T08:15:12Z | |
dc.date.issued | 2013-12 | |
dc.identifier.citation | Бисикало О. В. Модель формальной теории в виде коммутативной полугруппы образных конструкций [Текст] / О. В. Бисикало, И. А. Кравчук, А. А. Кириленко // Проблемы машиностроения. – Харьков, 2013. – Вип. 6(16). – С. 24-30. | ru |
dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/7321 | |
dc.description.abstract | Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного
понятием языкового образа типа диалога. | ru |
dc.description.abstract | Розроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій з мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити базові функції підтримки типу діалогу, який обмежений поняттям мовного образу. | uk |
dc.description.abstract | First-order formal theory assuming model building in the form of commutative semigroup of language images constructions is developed. Theorems providing base functions which maintain dialog limited by language image concept are formed and proved on the basis of 15 axioms. | en |
dc.language.iso | ru | ru |
dc.publisher | Інститут проблем машинобудування ім. А. Н. Подгорного НАН України | uk |
dc.subject | формальная теория | ru |
dc.subject | коммутативная полугруппа | ru |
dc.subject | языковый образ | ru |
dc.subject | образная конструкция | ru |
dc.subject | поддержка диалога | ru |
dc.subject | формальна теорія | uk |
dc.subject | комутативна напівгрупа | uk |
dc.subject | мовний образ | uk |
dc.subject | образна конструкція | uk |
dc.subject | підтримка діалогу | uk |
dc.subject | formal theory | en |
dc.subject | commutative semigroup | en |
dc.subject | language image | en |
dc.subject | image construction | en |
dc.subject | dialog maintenance | en |
dc.title | Модель формальной теории в виде коммутативной полугруппы образных конструкций | ru |
dc.title.alternative | Модель формальної теорії у вигляді комутативної напівгрупи образних конструкцій | uk |
dc.title.alternative | Formal theory model in the form of commutative semigroup of image constructions | en |
dc.type | Article | |
dc.identifier.udc | 004.93:159.95 | |