herbrand theorem是什么意思 herbrand theorem在线中文翻译

Herbrand theorem

Herbrand theorem 词典解释

Herbrand theorem 双语例句

1. A member of the Herbrand base is called atom in automatic theorem proving.
   在自动定理证明中，海尔勃朗基的成员也称为原子。
2. As two examples, we present the Skolem standard form theorem and the Herbrand theorem of ME.
   作为两个实例，本文给出了ME~上的Skolem范式定理及Herbrand定理。
3. The theory foundation of machanical the - orem proving is the Herbrand theorem, refutation and a conjunctive normal form theorem.
   Herbrand定理和范式定理是机器证明的理论基础。
4. The Herbrand's Theorem given in [1] requires that T should be a theory without any nonlogical axioms.
   文献[1]所述的Herbrand定理，要求T是一个没有非逻辑公理的理论。

Herbrand theorem

相关单词辨析

这组词都有“原理、原则”的意思，其区别是：
law: 指一直公认的。陈述各种现象的条理或关系的公理或定理等。
principle: 普通用词，含义广。指作判断的基础或行动的普通准则；也指自然科学的规律。
theorem: 多指经过推理或演算能得到证明的原理、定理或定律。
fundamental: 通常指原理、原则。