911chaxun查询科学技术名词计算机科学理论
科学技术名词为您提供析取范式,disjunctive normal form,析取范式的意思,disjunctive normal form的意思,析取范式的英文,disjunctive normal form的翻译,析取范式的翻译,析取范式是什么意思,析取范式什么意思,disjunctive normal form是什么意思,disjunctive normal form什么意思
析取范式 相关科技名词
- 证伪refutation
- 范畴分析categorical analysis
- 自然推理natural inference
- 二难推理dilemma reasoning
- 条件逻辑conditional logic
- 阈值逻辑threshold logic
- 概率逻辑probabilistic logic
- 埃尔布朗基Herbrand base
- 归纳公理induction axiom
- 二元预解式binary resolvent
- 锁归结lock resolution
- 归结原理resolution principle
- 协调公式consistent formula
- 演绎树deduction tree
- 线性演绎linear deduction
- 锁演绎lock deduction
- 本原演绎primitive deduction
- 超演绎hyperdeduction
- 超预解式hyperresolvent
- 无循环设置cycle-free allocation
- 逻辑程序logic program
- 条件项重写系统conditional term rewriting system
- 分解decomposition
- 谓词predicate
- 谓词演算predicate calculus
- 谓词逻辑predicate logic
- 谓词变量predicate variable
- 谓词符号predicate symbol
- 符号逻辑symbolic logic
- 重言式tautology
- 自动机automaton
- 广义序列机generalized sequential machine
- 下推自动机push-down automaton;PDA
- 上下文无关文法context-free grammar;CFG
- 上下文无关语言context-free language;CFL
- 上下文有关文法context-sensitive grammar;CSG
- 上下文有关语言context-sensitive language;CSL
- 无用符[号]useless symbol
- 无穷集infinite set
- 非限制文法unrestricted grammar
别人正在查