Anglais ⇄ Russe +

derivative logic contraintes
informat.	логические схемы с дифференцирующими цепочками
math.	деривативная логика (выводимая); выводимая логика