алгебра логіки, алгебра логики ; алгебра скінченних предикатів, алгебра конечных предикатов ; алгоритмічні методи, алгоритмические методы ; архітектура обчислювальних систем, архитектура вычислительных систем ; двійкові коди, двоичные коды ; мультипроцесори, мультипроцессоры ; розв'язання задач, решение задач, problem solving, exercices avec solutions ; системи логічних рівнянь, системы логических уравнений ; структурні моделі, структурные модели, structural models

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

• УДК // Програмне забезпечення
• Праці співробітників ХНУРЕ // Ревенчук Ілона Анатоліївна, Ревенчук Илона Анатольевна, Revenchuk I.