axioms的例句大全

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

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

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.

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

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

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

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.

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

Theorems are derived from the axioms.

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

The basic principles include 2 axioms and 3 derivation principles.

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

Martin Axioms roles in morden mathematics.

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

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

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

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

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

My aunt is full of copy-book axioms.

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

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

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

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

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

The Turing course was one on the chess game of mathematical logic; extracting the neatest and tightest set of axioms from which to begin,

图灵的课，是一场数学逻辑的游戏，由最初的公理，推导出整洁而严密的定理，

On the Continuum Hypothesis and the ZFC System of Axioms

连续统假设与ZFC公理系统

Mathematic induction is a typical syllogism, it is not complete induction, its base is the property of natural sequence, but not logic axioms.

数学归纳法推理是典型的三段论，而不是完全归纳法，其基础是自然数列的性质，而不是逻辑公理。

Where axioms are concerned, especially, less is more.

特别是在设定公理的时候，少就是多。

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

Semantic Analyses of Rough Truth for Axioms in Modal Logic

模态逻辑公理的粗糙真语义分析