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