| 单词 | predicate calculus |
| 释义 |
例句释义: 谓词演算,谓词逻辑,述词演算 1. Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch. 谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。 www.showxiu.com 2. The atomic formula is called atom for short in predicate calculus. 在谓词演算中，有时将原子公式简称为原子。 dict.ebigear.com 3. In the refutation tree of predicate calculus , the proved conjunctive formula. 在谓词演算的反驳树中，被证明的合式公式。 dictsearch.appspot.com 4. Predicate logic: also predicate calculus, which studies the internal structure of simple propositions. 谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。 tiantian3519.blog.163.com 5. Also predicate calculus, which studies the internal structure of simple. 也叫谓语演算，它研究简单马那瓜体的内部结构。 blog.hjenglish.com 6. A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax. 一个合法的谓词演算表达式，即谓词演算语法所允许的公式。 www.jukuu.com 7. Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms; 构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理； www.zidir.com 8. A conditional predicate calculus logic for PKI trust model analysis PKI信任模型的条件谓词逻辑推理 ilib.cn 9. NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus 一阶谓词演算自然演绎型直觉主义系统 ilib.cn 10. PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic 基于概率和条件逻辑的PKI信任模型推理 ilib.cn 1. A new formal deductive system for fuzzy predicate calculus 一个新的模糊谓词演算形式系统 ilib.cn 2. Atomic formula in predicate calculus 谓词演算中的原子公式 www.sinobay.com 3. pure predicate calculus of first order 一阶纯谓词演算 e.3edu.net 4. predicate calculus of the third order 三阶谓词演算 www.bing.com |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。