矢列式
规范用词
矢列式
英文翻译
sequent
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词（第二版）
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
矢列式 相关科技名词
多值逻辑
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