计算机科学理论科技名词
计算机科学理论科技名词：第1页
能行性
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
第1页
下一页
计算机科学理论 的上级学科
计算机科学技术