911chaxun查询科学技术名词计算机科学理论
真值表可归约性
规范用词真值表可归约性
英文对照truth-table reducibility
名词审定计算机科学技术名词审定委员会
见载刊物《计算机科学技术名词(第二版)》 科学出版社
公布时间2002年
科学技术名词为您提供真值表可归约性,truth-table reducibility,真值表可归约性的意思,truth-table reducibility的意思,真值表可归约性的英文,truth-table reducibility的翻译,真值表可归约性的翻译,真值表可归约性是什么意思,真值表可归约性什么意思,truth-table reducibility是什么意思,truth-table reducibility什么意思
真值表可归约性 相关科技名词
- 能行性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
别人正在查