Chinese translation for "逻辑完备性"
|
- logic completeness
logical completeness
Related Translations:
完备: complete; perfect 短语和例子指出不完备之处 point out the imperfections; 这些插图使正文臻于完备。 these illustrations fulfil the text. 再有一张邮票, 我这套集邮就完备了。 i need one more stamp before my collection is completed 完备方程组: complete equation system 完备度量: complete metric space 不完备: deficiencyimperfectionimperfectness 完备半格: sigma complete semilattice 关系上完备: relationally complete 完备赋值域: complete valuation field
- Example Sentences:
| 1. | An algebraic proof of completeness theorem of first - order logic
一阶逻辑完备性定理的代数证明 | | 2. | Another important problem in multiple - valued logic completeness theory is decision for sheffer functions , which reduced to determining the minimal covering of precomplete classes in multiple - valued logic
多值逻辑完备性理论中的另一重要问题是sheffer函数的判定问题，此问题可归结为定出所有极大封闭集(准完备集)的最小覆盖。 |
- Similar Words：
- "逻辑推论；逻辑推理" Chinese translation, "逻辑推演" Chinese translation, "逻辑推演运算" Chinese translation, "逻辑脱离" Chinese translation, "逻辑拓扑结构" Chinese translation, "逻辑完全性" Chinese translation, "逻辑完整性" Chinese translation, "逻辑网" Chinese translation, "逻辑网格" Chinese translation, "逻辑网络" Chinese translation
|
|
|
