定理 - 翻译成英语

• theorem
• law
• theorems
• laws

在 中文 中使用 定理 的示例及其翻译为 英语

中心极限定理适用于许多这些分布，并解释了为什么它们看起来非常类似于某些参数值的正态分布。
Central Limit Theorem applies to many of these distributions and explains why they look very similar to Normal distributions for certain parameter values.

如果你考虑了开普勒定理，它有时间要求，而且我们的小组只能用传统的方法测定时间。
But if you consider Kepler's Law, it requires time and our team could only measure time in the conventional way.

定理通过推理规则的直接方式相互连接起来，形成一种树状网络。
The theorems are linked to each other in a directed manner by inference rules, forming a sort of dendritic network.

数学家过去一直以为，他们的语言有一种特别的、本质上的可靠性，源自逻辑定理。
Mathematicians used to think that their language had some special inherent trueness that derived from the laws of logic.

年，他证明了可微球面定理（与RichardSchoen合作），这是全局微分几何中的一个基本问题。
In 2007, he proved the differentiable sphere theorem(in collaboration with Richard Schoen), a fundamental problem in global differential geometry.

基本定理出现于公元前1820年的古埃及著作中，后来的影响从巴比伦、古希腊、中国和中东的文本中萌芽。
Fundamental theorems appear in ancient Egyptian work from 1820 BC, and later influences sprout from Babylonian, Ancient Greek, Chinese and Middle Eastern texts.

(2)墨菲定理第二条“所有的事都会比你预计的时间长”.
Murphy's Second Law: Everything takes longer than you think.

在“太阳系的奇观”中，我们一直强调物理学的定理是普遍存在的。
In"Wonders of the Solar System," we kept emphasizing the laws of physics are universal.

描述和使用此定理，并将均值的抽样分布应用于置信区间、控制图等的推断统计。
Describe and use this theorem and apply the sampling distribution of the mean to inferential statistics for confidence intervals, control charts, etc.

逻辑学被越来越多的应用于电脑--证明数学定理、确认工程设计、诊断故障、编码分析法规和商业规则。
Logic is increasingly being used by computers- to prove mathematical theorems, to validate engineering designs, to encode and analyze laws and regulations and business rules.

第二个方程，高斯定理，同样展示了电与磁之间的深刻区别。
The second equation, Gauss' law for magnetism, also demonstrates a profound difference between electricity and magnetism.

在1940年，泡利证明“自旋统计定理”，它表述费米子具有半整数自旋，玻色子具有整数自旋。
In 1940, Pauli proved the spin-statistics theorem, which states that fermions have half-integer spin and bosons have integer spin.

当然，这伽利略定理证明的中心重力固体，并留在罗马，讨论了在这一信函。
Certainly the theorems which Galileo had proved on the centres of gravity of solids, and left in Rome, were discussed in this correspondence.

尽管增长速率有所减慢，但这仍旧是一个显著的历史趋势，通常被称为“摩尔定理”。
Although the rate has decreased, this has been a remarkably consistent historic trend, often referred to as‘Moore's law'.

许多非常重要的定理需要Hahn-Banach定理，通常使用选择公理证明，尽管严格较弱的Booleanprimeidealtheorem就足够了。
Many very important theorems require the Hahn- Banach theorem, usually proved using axiom of choice, although the strictly weaker Boolean prime ideal theorem suffices.

很明显通过这些定理，相继式演算不改变真理的概念，因为同一组命题仍然是真的。
It is clear by these theorems that the sequent calculus does not change the notion of truth, because the same collection of propositions remain true.

通过使用这些函数，可以回答有关任意三角形的所有问题，只需使用正弦定理和余弦定理。
With these functions, one can answer virtually all questions about arbitrary triangles by using the law of sines and the law of cosines.

数学理论，定理和方法应用到应用的问题扩大在非研究环境的资格就业。
Applications of mathematical theory, theorems, and methods to applied problems broaden the qualification to employment in a non-research environment.

朴素贝叶斯(NB)算法是基于贝叶斯定理[6]的分类方法，假设所有特性彼此独立。
The Naive Bayes(NB) algorithm is a classification method based on Bayes' theorem[6] with the assumption that all features are independent of each other.

从更广泛的角度上说，拉弗曲线可能是政治史上最重要的经济定理。
On a larger scale, the Laffer curve may be the most important economic law of political history.