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