Ревенчук І. А. Алгебро-логічні методи опису арифметичних відношень та їх застосування при створенні раціональних структур обчислювачів.

Дисертація присвячена розробці алгебро-логічних методів (АЛМ) опису арифметичних відношень, що використовуються при створенні раціональних структур обчислювачів. В роботі розроблено АЛМ опису арифметичних операцій віднімання і ділення m-розрядних двоїчних кодів, що дозволяє в порівнянні з існуючими методами виконувати ці операції за менше число кроків, швидше. Розроблено АЛМ опису алгебраїчних виразів, що дає підставу для створення швидкодіючих арифметичних пристроїв просторового типу. Удосконалена концепція побудови швидкодіючих структур обчислювачів. Результати реалізуються програмою, що дозволяє скоротити час, необхідний для складних обчислювань економічних та екологічних показників. Сферою використання є математичне і програмне забезпечення ЕОМ 5-го і наступних поколінь.