Развитие методов булева дифференциального исчисления для арифметической логики

Показано, что в арифметической логике существуют аналоги булевых производных, разложения Рида - Маллера и логического ряда Тейлора. Приводятся параллельные алгоритмы синтеза арифметических полиномов, структура и характеристики линейного систолического массива для их реализации.