查询词典 ring axioms

Definition: A demonstration that a mathematical proposition is true based on axioms, definitions, and proven theorems

定义：一个用公理，定义，已证明的定理来证实数学上的命题是真实的一个演绎过程。

A theory in their view is a set of logically interrelated propositions deduced from axioms or underived assumptions.

在他们的观念中，一种理论就是一系列有逻辑关联的论点，这些论点来源于公理或无需证明的观点。

That is to say, we would have nothing more meaningful than an uninterpreted formal language, formal rules of inference, and a subset of the set of well-formed formulas as axioms.

也就是说，我们持有的有意义语言甚至超不过一个尚未解释的形式语言、形式推理规则和作为公理的合式公式子集。

Major topics covered are: basic concepts of probability, sample space and events, axioms of probability, random variables, discrete and continuous distributions, joint and marginal distributions, numerical characteristic for random variables, the weak law of large numbers, central limit theorem, basic concepts of statistics, parameter estimate, hypothesis testing and regression analysis.

本课程的基本内容有：随机事件及其概率、随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律与极限定理、数理统计的基础知识、参数估计、假设检验、回归分析。

Ramsey, Von Neumann and Morgenstern, Savage, Ancombe and Aumann construct axioms for it respectively.

期望效用理论是分析风险和不确定性等决策问题的传统理论模型。

Since Von Neumann and Oskar Morgenstern put forward the set ofrational behavior axioms in 1944,the linear expected utility theory that is themost important theoretical base of modern decision-making science has madegreat progress,and a lot of research achievements have been obtained in thisfield.

1944年Von Neumann和Morgenstern提出期望效用的公理体系，即&理性行为公理&后，作为现代决策科学最重要的理论基础的期望效用理论，得到了巨大发展，并取得了许多重要的研究成果。

The minimal unsatisfiability-preserving sub-TBoxes of an unsatisfiable class C identified by two equivalent transformations, axiom splitting and ontology reduction, and three discrimination rules comprise minimal sets of axioms which support the unsatisfiability.

为解释本体中概念不满足的原因，利用2个对等转换与3个判别规则识别不满足概念C的最小不一致知识子集。

When the actuality annihilates own man's natural character too heartlessly, the time in the dead of night can also recall to come and go, understanding toward its joy, now it is bitter, not it also is a personal axioms only luckily.

当现实把自己的本性也无情的抹杀掉时，在夜深人静的时候还可以去追忆过往，明白了往之乐，今之所苦，未之所幸也只不过是个人的定理。

The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.

该法体现了许多世纪以来，通过对一个国家的发展故事，它不能处理，犹如只载有公理和推论的数学书。

The law embodies the story of a nation's development through many centuries, and it cannot be dealt with as if it contained only the axioms and corollaries of a book of mathematics.

法律蕴含着一个国家书个世纪发展的故事，我们不能像对待仅仅包含定理和推论的数学教科书一样对待它。

However it can often be frust ating for a child when people are unable to pronounce their name.

但它往往可以令人沮丧的一个孩子当人们无法断言他们的名字。

All these compounds were obtained from this genus for the first time. Compound, 4-cumylphenol, was a new nature product.

所有化合物均为首次从本属海藻中分离得到，其中4cumylphenol为新天然产物。