计算机科学理论科学技术名词术语解释、翻译 - 科学技术名词 - 911chaxun查询
计算机科学理论科技名词
计算机科学理论科技名词：第2页
形式规则
formation rule
原子公式
atomic formula
论域
domain
前束范式
prenex normal form
代入
substitution
代入复合
composition of substitution
关系系统
relation system
勒文海姆-斯科伦定理
高阶逻辑
higher order logic
二阶逻辑
second order logic
多值逻辑
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
首页
上一页
第2页
下一页
计算机科学理论 的上级学科
计算机科学技术
