predicate calculus

predicate calculus什么意思,predicate calculus翻译

基本解释

网络: 谓词演算；谓词逻辑；述词演算

例句

• Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.

  谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。

• The atomic formula is called atom for short in predicate calculus.

  在谓词演算中，有时将原子公式简称为原子。

• In the refutation tree of predicate calculus , the proved conjunctive formula.

  在谓词演算的反驳树中，被证明的合式公式。

• Predicate logic: also predicate calculus, which studies the internal structure of simple propositions.

  谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。

• Also predicate calculus, which studies the internal structure of simple.

  也叫谓语演算，它研究简单马那瓜体的内部结构。

• A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus" syntax.

  一个合法的谓词演算表达式，即谓词演算语法所允许的公式。

• Construction propositional calculus and predicate calculus system, mathematical theorems derived from the logical axioms;

  构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；

• A conditional predicate calculus logic for PKI trust model analysis

  PKI信任模型的条件谓词逻辑推理

• NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus

  一阶谓词演算自然演绎型直觉主义系统

• PKI Trust Model Analysis Based on Probabilistic Model and Conditional Predicate Calculus Logic

  基于概率和条件逻辑的PKI信任模型推理