axioms

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

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

My aunt is full of copy-book axioms.

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

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

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

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

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

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

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

A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically. The correctness of the ABLP approach is proved.

从理论上构造BLP公理的一种新的实施方法（ABLP方法），并给出该方法的正确性证明。

And we learned how to prove the Pythagorean Theorem in Euclidean geometry, starting with the various axioms in Euclidean geometry, ba, ba-ba, ba-ba, ba-ba, ba bum.

我们都学习过，欧几里得几何中对勾股定理的证明方法，从繁杂的欧氏几何的公理开始，邦，邦邦，邦邦，邦邦。

Secondly, by using of the medium axiomatic set theory ( MS), a natural number system in MS is constructed, and it is proved that five axioms of Peano ′ s natural number system are theorems is MS.

其次，利用中介公理集合论MS的相关理论，构造了MS中的自然数系统，证明了Peano5条公理为MS中的定理。

On the Continuum Hypothesis and the ZFC System of Axioms

连续统假设与ZFC公理系统

Theorems are derived from the axioms.

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

By the Wald's axioms, the result is the same with one by the usual regularized methods.

应用Wald公理得到了用通常的正规化方法得到的结果。

The basic principles include 2 axioms and 3 derivation principles.

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

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

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

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

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

Semantic Analyses of Rough Truth for Axioms in Modal Logic

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

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

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

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

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

Approach to two axioms on design methods

试论设计方法中的两个公理

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.

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

A New Computation Model of Incidence Degree Met Four Axioms of Grey Incidence

一种满足灰关联四公理的关联度量化模型

The term "snowclone" describes the practice of transforming cliches, axioms and pop culture catchphrases into modern analogies. By replacing a few key words from the original saying, a writer can put a new context using the old formula.

“雪克隆”指的是把一些陈词滥调、公理、流行文化名言改编成现代版本的行为。通过替换原文的几个关键词就可以旧瓶装新酒。

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

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

The allowable steps of proof were to be considered like the allowable moves in a game of chess, with the axioms as the starting position of the game.

允许的证明步骤，就好比国际象棋中允许的走法，而公理就好比是开局时的摆法。

Pro-poor Growth Improved Axioms and Measurement Evaluation

亲贫困增长的公理性标准及其测度指标评价

Martin Axioms roles in morden mathematics.

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

Quantum measurement theory is one of the axioms of quantum mechanics.

测量理论是量子力学的基本假定之一。

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

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

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

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

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

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