axioms

These axioms form the basis for term rewriting systems we for mining workflows.

这些公理构成了我们用以挖掘工作流的术语重写系统的基础.

Theorems are derived from the axioms.

命题则从规律中推演得来.

The theorems should be deduced from axioms by purely logical arguments.

定理应该通过纯粹的逻辑的推导而从公理演绎得到.

Context: The Greeks based the study of geometry on definitions and axioms.

上下文: 希腊人把几何研究的最基本出发点放在定义和公理上.

My aunt is full of copy-book axioms.

我的姑妈张口就是字贴上的格言.

I know a lot of logarithms and axioms, but not the language of love.

我知道很多的对数和公理, 而不是爱的语言.

Further on, we can specify an algebra that consists of axioms for commutativity, distributivity, associativity, etc.

进一步的, 我们可以定义包含交换律 、 分配律 、 结合律等公理的代数.

The simplest of the substitute axioms was suggested by him in 1969.

最简单的代替公理是在1969年由他提出的.

Finally, the common logic coverage criteria are assessed against the axioms system.

最后通过这组公理系统来评估现有的逻辑覆盖测试准则.

Martin Axioms roles in morden mathematics.

马丁公理在现代数学中的作用.

The axioms adopted by Euelid mere supposed to be self-evident truths.

欧几里德用的公理都应看作是不证自明的真理.

Through discussing the separation axiom of topological space, we can get the relation-chain of separation axioms.

通过对拓扑空间上分离公理之间的讨论得出公理关系链,主要给出了各分离公理不能包含的例子.

Two groups of axioms in the natural axiom system of probability theory are set up.

建立《概率论自然公理系统》中的第组和第组公理.

The basic principles include 2 axioms and 3 derivation principles.

基本原理包括:2个公理和3个派生原理:环境依赖性、术和设备依赖性、确定性和风险.