本网站由捐赠支持OEIS基金会.
作者:乔恩·奥布里
•概述•第1部分•第2部分•附录•工具书类•
A类微分命题演算是一个命题演算由一组术语扩展,用于描述变化和差异的各个方面,例如话语的宇宙或将源宇宙映射到目标宇宙的变换。