Логическое дифференциальное исчисление: достижения, тенденции и приложения

Логическое дифференциальное и интегральное исчисление является одним из теоретико-прикладных областей алгебры логики. В статье анализируются основные достижения и тенденции развития этого направления за последние пять десятилетий. Приводятся примеры использования логических дифференциальных операторов при решении задач проектирования цифровых устройств.