911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供卡普可归约性,Karp reducibility,卡普可归约性的意思,Karp reducibility的意思,卡普可归约性的英文,Karp reducibility的翻译,卡普可归约性的翻译,卡普可归约性是什么意思,卡普可归约性什么意思,Karp reducibility是什么意思,Karp 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
别人正在查