911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供二分插入,binary insertion,二分插入的意思,binary insertion的意思,二分插入的英文,binary insertion的翻译,二分插入的翻译,二分插入是什么意思,二分插入什么意思,binary insertion是什么意思,binary insertion什么意思
二分插入 相关科技名词
- 能行性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
别人正在查