Показати скорочену інформацію

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.authorBisikalo, O. V.en
dc.contributor.authorKravchuk, I. A.en
dc.contributor.authorKyrylenko, H. O.en
dc.date.accessioned2016-02-03T08:15:12Z
dc.date.available2016-02-03T08:15:12Z
dc.date.issued2013-12
dc.identifier.citationБисикало О. В. Модель формальной теории в виде коммутативной полугруппы образных конструкций [Текст] / О. В. Бисикало, И. А. Кравчук, А. А. Кириленко // Проблемы машиностроения. – Харьков, 2013. – Вип. 6(16). – С. 24-30.ru
dc.identifier.urihttp://ir.lib.vntu.edu.ua/handle/123456789/7321
dc.description.abstractРазработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного понятием языкового образа типа диалога.ru
dc.description.abstractРозроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій з мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити базові функції підтримки типу діалогу, який обмежений поняттям мовного образу.uk
dc.description.abstractFirst-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.isoruru
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.subjectformal theoryen
dc.subjectcommutative semigroupen
dc.subjectlanguage imageen
dc.subjectimage constructionen
dc.subjectdialog maintenanceen
dc.titleМодель формальной теории в виде коммутативной полугруппы образных конструкцийru
dc.title.alternativeМодель формальної теорії у вигляді комутативної напівгрупи образних конструкційuk
dc.title.alternativeFormal theory model in the form of commutative semigroup of image constructionsen
dc.typeArticle
dc.identifier.udc004.93:159.95


Файли в цьому документі

Thumbnail

Даний документ включений в наступну(і) колекцію(ї)

Показати скорочену інформацію