理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- invariant decomposition
- invariant definition
- invariant delta-function
- invariant density
- invariant derivative
- invariant differential
- invariant differential equation
- invariant differential form
- invariant differential operator
- invariant dimension property
- invariant distance
- invariant distribution
- invariant divisor
- invariant element
- invariant embedding
- invariant embedding method
- invariant equation
- invariant estimate
- invariant estimator
- invariant estimator (estimate)
- invariant event
- invariant expression
- invariant factor
- invariant factor ideal
- invariant family of distributions