Rytsar, B.Ye.
(Управляющие системы и машины, 2016)
Предложен новый метод логического дифференциального исчисления на основании числового теоретико-множественного подхода к определению разных типов логических производных произвольного порядка от булевой функции. Алгоритм ...