输入带
规范用词
输入带
英文翻译
input tape
所属学科
计算机科学技术
>
计算机科学理论
名词审定
计算机科学技术名词审定委员会
见载刊物
《
计算机科学技术名词(第二版)
》 科学出版社
公布时间
2002年
计算机科学理论 的上级学科
计算机科学技术
输入带 相关科技名词
能行性
effectiveness
丘奇论题
Church thesis
计算
computation
图灵机
Turing machine
递归函数
recursive function
原始递归函数
primitive recursive function
特征函数
characteristic function
哥德尔配数
λ演算
λ-calculus
波斯特系统
Post system
一阶逻辑
first order logic
一阶理论
first order theory
命题逻辑
propositional logic
命题演算
propositional calculus
形式系统
formal system
演绎规则
deduction rule
布尔运算
Boolean operation
布尔代数
Boolean algebra
布尔表达式
Boolean expression
三段论
syllogism
真值表
truth table
合式公式
well-formed formula
逻辑蕴涵
logical implication
析取范式
disjunctive normal form
合取范式
conjunctive normal form
演绎
deduce
假言推理
modus ponens
归约
reduce;reduction
演绎数学
deductive mathematics
数学公式
mathematical axiom
形式规则
formation rule
原子公式
atomic formula
论域
domain
前束范式
prenex normal form
代入
substitution
代入复合
composition of substitution
关系系统
relation system
勒文海姆-斯科伦定理
高阶逻辑
higher order logic
二阶逻辑
second order logic