predicate calculus
- 基本解释：谓词演算
- predicate calculus 是什么意思及中文翻译：
- 谓词演算
包含predicate calculus的短语更多>
predicate calculus 相关例句更多>
- pure predicate calculus.
纯谓词演算
- annotated predicate calculus
注解谓词演算
- extended predicate calculus.
广义谓词演算
- one place predicate calculus
一元谓词演算
- restricted predicate calculus
狭义谓词演算
- Predicate Calculus and Program Semantics.
谓词演算与程序语义。
- The atomic formula is called atom for short in predicate calculus.
在谓词演算中，有时将原子公式简称为原子。
- In the refutation tree of predicate calculus, the proved conjunctive formula.
在谓词演算的反驳树中, 被证明的合式公式。
- NDPI Nature Deduction Type Intuitionistic Systems of First Order Predicate Calculus
一阶谓词演算自然演绎型直觉主义系统
- A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus syntax.
一个合法的谓词演算表达式, 即谓词演算语法所允许的公式。
相关单词
常用英语单词表