Модель формальной теории в виде коммутативной полугруппы образных конструкций
Репозитарій Вінницького Національного Технічного Університету
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Модель формальной теории в виде коммутативной полугруппы образных конструкций
Модель формальної теорії у вигляді комутативної напівгрупи образних конструкцій Formal theory model in the form of commutative semigroup of image constructions |
|
| Creator |
Бісікало, О. В.
Кравчук, І. А. Кириленко, Г. О. Бисикало, О. В. Кравчук, И. А. Кириленко, А. А. Bisikalo, O. V. Kravchuk, I. A. Kyrylenko, H. O. |
|
| Subject |
формальная теория
коммутативная полугруппа языковый образ образная конструкция поддержка диалога формальна теорія комутативна напівгрупа мовний образ образна конструкція підтримка діалогу formal theory commutative semigroup language image image construction dialog maintenance |
|
| Description |
Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить базовые функции поддержки ограниченного понятием языкового образа типа диалога. Розроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій з мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити базові функції підтримки типу діалогу, який обмежений поняттям мовного образу. 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. |
|
| Date |
2016-02-03T08:15:12Z
2016-02-03T08:15:12Z 2013-12 |
|
| Type |
Article
|
|
| Identifier |
Бисикало О. В. Модель формальной теории в виде коммутативной полугруппы образных конструкций [Текст] / О. В. Бисикало, И. А. Кравчук, А. А. Кириленко // Проблемы машиностроения. – Харьков, 2013. – Вип. 6(16). – С. 24-30.
http://ir.lib.vntu.edu.ua/handle/123456789/7321 004.93:159.95 |
|
| Language |
ru
|
|
| Publisher |
Інститут проблем машинобудування ім. А. Н. Подгорного НАН України
|
|