алгебра скінченних предикатів, алгебра конечных предикатов ; мозкоподібні структури, мозгоподобные структуры ; морфологічні моделі, морфологические модели ; реляційні мережі, реляционные сети

У роботі вперше побудовано формальну модель словозміни коротких форм прикметників, яка характеризується введенням нових предметних змінних, пов'язаних системою бінарних відношень та заданих формулами відповідних предикатів. Запропоновано і досліджено узагальнену модель словозміни прикметників російської мови, яка здійснює відмінювання повних неприсвійних прикметників, представлених звуковою формою. Модель задана формулами відповідних предикатів і реалізована у програмному додатку AdjNet. Набув подальшого розвитку метод розшарування скінченного предиката. На основі запропонованих моделей та методу розроблено додаток Vpoliklinike, що працює за принципом реляційної логічної мережі, який дозволяє моделювати процес діагностування захворювань опорно-рухового апарата та призначення, що задовольняють вимогам пацієнта.

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
• УДК // Самодіючі системи