关系逻辑 relational logic 关系逻辑的意思 relational logic的意思关系逻辑的英文 relational logic的翻译

关系逻辑

规范用词关系逻辑

英文对照relational logic

名词审定计算机科学技术名词审定委员会

公布时间2002年

科学技术名词为您提供关系逻辑,relational logic,关系逻辑的意思,relational logic的意思,关系逻辑的英文,relational logic的翻译,关系逻辑的翻译,关系逻辑是什么意思,关系逻辑什么意思,relational logic是什么意思,relational logic什么意思

关系逻辑相关科技名词

计算机科学理论»

证伪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

关系逻辑 relational logic 关系逻辑的意思 relational logic的意思 关系逻辑的英文 relational logic的翻译

关系逻辑

关系逻辑 relational logic 关系逻辑的意思 relational logic的意思关系逻辑的英文 relational logic的翻译