Browsing Наукові роботи каф. АІІТ by Subject "dialog maintenance"

Now showing items 1-1 of 1

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

      Бісікало, О. В.; Кравчук, І. А.; Кириленко, Г. О.; Бисикало, О. В.; Кравчук, И. А.; Кириленко, А. А.; Bisikalo, O. V.; Kravchuk, I. A.; Kyrylenko, H. O. (Інститут проблем машинобудування ім. А. Н. Подгорного НАН України, 2013-12)
      Разработана формальная теория первого порядка, предполагающая построение модели в виде коммутативной полугруппы конструкций из языковых образов. На основе 15-ти аксиом сформулированы и доказаны теоремы, позволяющие обеспечить ...