Модель формальной теории в виде коммутативной полугруппы образных конструкций

Abstract

Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 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.