Registration Number
2113U010518, Article
popup.category
Стаття
Title
Formal theory model in the form of commutative semigroup of image constructions
popup.author
Бісікало О. В.
Кравчук І. А.
Кириленко Г. О.
Бисикало О. В.
Кравчук И. А.
Кириленко А. А.
Bisikalo O. V.
Kravchuk I. A.
Kyrylenko H. O.
Bisikalo O. V.
Kravchuk I. A.
Kyrylenko H. O.
popup.publication
01-12-2013
popup.source_user
Вінницький національний технічний університет
popup.source
http://ir.lib.vntu.edu.ua/handle/123456789/7321
popup.publisher
Інститут проблем машинобудування ім. А. Н. Подгорного НАН України
Description
Розроблена формальна теорія першого порядку, що припускає побудову моделі у вигляді комутативної напівгрупи конструкцій з мовних образів. На основі 15-ти аксіом сформульовані і доведені теореми, що дозволяють забезпечити базові функції підтримки типу діалогу, який обмежений поняттям мовного образу.
popup.nrat_date
2026-11-03