单词 | predicate logic |
释义 | 例句释义: 谓词逻辑,述词逻辑,述语逻辑,谓词演算 1. Symbolic logic is often divided into two branches, propositional logic and predicate logic. 符号逻辑往往分为两个分支,命题逻辑和谓词逻辑。 blog.sina.com.cn 2. Any logic which uses the existential quantifier or the universal quantifier is said to be a predicate logic. 任何逻辑使用存在量词或全称量词是说是一个谓词逻辑。 blog.sina.com.cn 3. In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。 dictsearch.appspot.com 4. I believe that it's very useful for Computer science students who learning Boolean algebra and predicate logic (like my self). 我相信对于学习布尔代数学和谓词逻辑的计算机科学学生(像我自己这样的)来说它是非常有用的。 osl.bsw.net.cn 5. Predicate logic: also predicate calculus, which studies the internal structure of simple propositions. 谓词逻辑:也叫谓词演算,它研究简单命题的内部结构。 tiantian3519.blog.163.com 6. 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 7. The first level is the level of propositional logic, the second level is the level of predicate logic or logic of class. 第一个层次是命题逻辑的层次,第二个层次是谓词逻辑或类逻辑的层次。 www.ceps.com.tw 8. By predicate logic, the solution is set up and the process of analysis is provided. 依据谓词逻辑规则建立解决方案,提供了求解的流程。 www.dictall.com 9. Authors designed a kindred automatic reasoning model based on one-order predicate logic. 用一阶谓词逻辑设计了一个亲属关系的自动推理模型。 ceaj.org 10. The last part discusses some difficulties in the course of building knowledge predicate logic systems: recognizing agents across the worlds; 第四部分:探讨在构建知道谓词逻辑系统中遇到的一些困难:认知主体知识的一致性,即跨世界识别个体的问题; www.fabiao.net 1. Theory of quasi-truth degrees of formulas in two-valued predicate logic 一类二值谓词逻辑中公式的准真度理论 www.ilib.cn 2. The research on transforming representation of semantic network to expression of predicate logic 由语义网络语言的知识表示到谓词逻辑的转换 www.ilib.cn 3. Theory of Truth Degree Based on the Finite Interpretation and Enumerable Interpretation of Fuzzy Predicate Logic Formulas 模糊谓词逻辑公式的有限和可数解释真度理论 scholar.ilib.cn 4. Study Predicate Logic Used in Design PLC Ladder Diagram 谓词逻辑在设计PLC梯形图中使用的研究 www.ilib.cn 5. Application of Predicate Logic in Question Answering System 谓词逻辑在答疑系统中的应用 www.ilib.cn 6. The Decidability of Proof Method in the Predicate Logic Inference 谓词逻辑推理中证明方法的判定 www.ilib.cn 7. Resolution Method Using XML in First-order Predicate Logic 使用XML的一阶谓词逻辑归结原理 www.ilib.cn 8. Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法 www.ilib.cn 9. Predicate Logic Reasoning and Validation Based on Computer 谓词逻辑推理与机器证明 www.ilib.cn 10. Predicate logic of higher order 高阶谓词逻辑 www.sinobay.com 1. On predicate Logic's Application in AI 谓词逻辑在人工智能中的应用 service.ilib.cn |
随便看 |
|
英汉双解词典包含2704715条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。