形势微积分

形势微积分形势微积分是一种逻辑形式主义，用于表示和推理动态领域。形势微积分的概述情境微积分将变化的情景表示为一组一阶逻辑公式。该微积分的基本元素是...