| 单词 | first order logic |
| 释义 | 例句释义: 一阶逻辑,首阶逻辑,初阶逻辑,第一阶逻辑 1. Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory. 虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。 www.showxiu.com 2. The first-order logic has accomplished that better than relevant logic through common individual variables. 一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。 www.ceps.com.tw 3. Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide. 完全性定理是说一阶逻辑对推理的语法和语义刻画重合的； www.remenshijian.com 4. rdfs . Then, automatic reasoning with RDF and RDFS becomes possible, even though a first-order logic proof system is required. 然后，自动推理与RDF和rdfs成为可能，即使一阶逻辑证明系统的需要。 zhidao.baidu.com 5. They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。 dictsearch.appspot.com 6. HOL is more expressive than first-order logic and enables a concise description of complex properties. HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。 www.asicdev.com 7. Implementation of first order logic model generation 一阶逻辑模型生成器的实现 service.ilib.cn 8. Local Search Methods for Constraint Solving in First-Order Logic 一阶逻辑中约束求解的局部搜索法 www.ilib.cn 9. The Application of First-order Logic in Relational Database 一阶逻辑在关系数据库中的应用 service.ilib.cn 10. An algebraic proof of completeness theorem of first-order logic 一阶逻辑完备性定理的代数证明 service.ilib.cn 1. An Intensional Semantics for First-order Logic 一阶逻辑的内涵语义 www.ilib.cn 2. Proving Several Theorems in First Order Logic Based on Back-and-Forth Method 向前向后法证明一阶逻辑的几个定理 service.ilib.cn 3. A new algebraic proof of completeness of first order logic 一阶逻辑完备性定理的新代数证明 www.ilib.cn 4. An Axiomatics for First-order Logic 经典一阶逻辑的希尔伯特型系统 www.ilib.cn 5. Formulas of first order logic 一阶逻辑的公式 www.hainu.edu.cn 6. The Combined System of Reasoning and Arithmetic Based on First-order Logic 基于一阶逻辑的推理与运算的合并系统 www.ilib.cn 7. The First- order Logic and Set Theory 一阶逻辑与集合论 www.ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。