інтегральна інжекційна логіка, ІІЛ, интегральная инжекционная логика, ИИЛ ; алгебра скінченних предикатів, алгебра конечных предикатов ; багатозначні оборотні неоднорідні модулі, БОНМ, многозначные обратимые неоднородные модули, МОНМ ; великі інтегральні схеми, ВІС, большие интегральные схемы, БИС ; комплементарна логіка на транзисторах метал-окид-напівпровідник, КМОН, комплементарная логика на транзисторах металл-оксид-полупроводник,КМОП, CMOS-technology ; логічні елементи, логические элементы ; логічні рівняння, логические уравнения ; неоднорідні обчислювальні структури, неоднородные вычислительные структуры ; програмовані логічні матриці, программируемые логические матрицы, ПЛМ ; реляційні мережі, реляционные сети ; семантичні мережі, семантические сети ; штучний інтелект,ШІ, искусственный интеллект, ИИ,artificial intelligence, l`intelligence artificielle

В диссертационной работе получено решение задачи построения алгебро-логических методов решения систем предикатных уравнений, которые использованы для синтеза многозначных обратимых неоднородных логических элементов прямого и обратного действия, применяемых в системах и устройствах искусственного интеллекта. На базе методов решения дизъюнктивных и конъюнктивных систем логических уравнений разработан математический аппарат решения логических уравнений матричными методами и дана его графо-аналитическая интерпретация. Разработан матричный метод решения предикатных уравнений, который содержит в себе замену предиката узнавания на новую булеву переменную и построение логических определителей.

• УДК // Загальні питання теорії керуючих систем. Моделі. Побудова моделей. Кодування. Теорія мереж
• УДК // Комп'ютерне програмування