911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供数学公式,mathematical axiom,数学公式的意思,mathematical axiom的意思,数学公式的英文,mathematical axiom的翻译,数学公式的翻译,数学公式是什么意思,数学公式什么意思,mathematical axiom是什么意思,mathematical axiom什么意思
数学公式 相关科技名词
- 多值逻辑multiple value logic
- 模糊逻辑fuzzy logic
- 应用逻辑applied logic
- 归结resolution
- 子句clause
- 基子句ground clause
- 霍恩子句Horn clause
- 矢列式sequent
- 关系逻辑relational logic
- 重写规则[系统]rewriting rule [system]
- 定理证明器theorem prover
- 截除cut
- 逻辑系统logical system
- 多类逻辑many-sorted logic
- 代数数据类型algebraic data type
- 经典逻辑classical logic
- 形式演算formal calculus
- 逻辑演算logic calculus
- 霍尔逻辑Hoare logic
- 过程逻辑process logic
- 程序设计逻辑programming logic
- 连续算子continuous operator
- 细胞自动机cellular automata
- 程序验证器program verifier
- 程序验证program verification
- 符号演算symbolic calculus
- 计算逻辑computational logic
- 变换系统transformation system
- 构造性证明constructive proof
- 类型论type theory
- 线性归结linear resolution
- 区间时态逻辑interval temporal logic
- 等式逻辑equational logic
- 超归结hyper-resolution
- 证明策略proof strategy
- 模态modality
- 模态逻辑modal logic
- 因果逻辑causal logic
- 直觉主义逻辑intuitionistic logic
- 代数逻辑algebraic logic
别人正在查