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

Построена формальная модель словоизменения кратких имен прилагательных, которая характеризуется введением новых предметних переменных, связанных системой бинарных отношений и заданных формулами соответствующих предикатов. Модель расширяет класс задач, которые решает реляционная логическая сеть мозгоподобных структур, и дает возможность осуществлять обработку текстов в естественноязыковых системах. Общая модель словоизменения прилагательных русского языка задана формулами соответствующих предикатов, реализованных в приложении AdjNet. Получил дальнейшее развитие метод расслоения конечного предиката. На основе предложенных моделей и метода разработан программный продукт Vpoliklinike. Он позволяет осуществлять задачу диагностики заболеваний опорно-двигательного аппарата, а также позволяет врачам и врачам-интернам использовать систему для совершенствования профессиональных навыков. Теоретические результаты исследований внедрены в учебный процесс в рамках дисциплин "Теория интеллекта", "Бионика интеллекта" и "Логический анализ" для студентов специальности "Программная инженерия".

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