| 释义 |
theorems ˈθi:ərəmz COCA⁵⁸²⁸⁰BNC⁴⁰⁷⁰⁸
基本例句
n.尤指数学定理theorem的名词复数；命题；原理；原则原型theorem的复数 In the 1970s, Douglas Lenat’s Automated Mathematician automatically generated mathematical theorems, but they proved largely useless.
二十世纪七十年代，道格拉斯·莉娜的“自动数学家”程序自动生成数学定理，但是被证明基本上毫无用处。 yeeyan
Remember, the divergence of a vector field What do these two theorems say?
向量场，的散度,这两个定理说了什么呢？ open.163.com
The goal is to link together axioms and theorems in such as way as to prove property P true.
目标是将公理与定理联合起来证明特性 P为真。 ibm
The performance of logical networks is expressed in terms of equations that are governed by special theorems and rules.
逻辑网络的特性可由专门的定理和规则所确定的公式来表示。 jukuu
We evaluated them in completely different ways, and we have a handful of theorems, connecting them to each other.
用完全不同的方法来计算它们，并且有几个定理，把它们相互联系起来。 open.163.com
“A mathematician,” he said, “ is a machine for turning coffee into theorems.”
“数学家，”他说，“就是一个将咖啡变成数学定理的机器。” hxen
And we will see theorems about flux pretty soon.
很快也会看到关于通量的定理。 open.163.com
Are theorems freedom?
定理是自由的吗？ infoq
Even though these constructs can be“ powerful and easy to use at the same time”, this is not always the case and some“ theorems” prone to be misused are actually more powerful.
尽管这些结构可能“既强大又易用”，但事实并非总是如此，一些容易被误用的“定理”实际上更加强大。 infoq
Famous Theorems define the mathematical landscape.
著名的定理决定数学的风景。 yeeyan
Half a century ago, IBM’s Herbert Gelernter authored a program that purportedly rediscovered Euclid’s geometry theorems, but critics said it relied too much on programmer- supplied rules.
半个世纪前， IBM的赫伯特·格勒恩特尔编写了一个程序，据称再现了欧几里德几何定理，但是，批评家们说它过于依赖程序员提供的规则。 yeeyan
I'll develop two theorems here to show the proof.
在此，我将提出两个定理来完成证明。 ibm
If the conditions of the theorems are shown to be true, then we can use the theorem to establish the truth of the theorem's result for our program.
如果定理的条件被证明为真，则我们可以使用此定理来确定我们的程序的定理结果的正确性。 ibm
If one of the first theorems about business is that “ change is the only constant”, then a corollary is that“ change must always be managed”.
如果企业的优先规则之一是“更改只是持续性工作”，那么必然的结果是“更改必须始终接受管理”。 ibm
Many mathematicians simply set nettlesome questions like these aside and get back to the more pleasant business of proving theorems.
许多数学家只是把这些恼人的问题简单地弃置一旁，而忙于类似定理证明这样更有趣的事务。 yeeyan
Now we have a bunch of theorems relating them.
我们还有很多有关的定理。 open.163.com
The more theorems you have, the more powerful you are.
你拥有的定理越多，你就会变得更强大。 infoq
The terrain was strewn with beautiful theorems begging to be picked up and arranged in unified order.
该领域充满了美妙的定理，等待着人们去采撷和整理。 blog.sina.com.cn
They had educated themselves many times over, proved theorems, and acquired and abandoned artistic sensibilities and skills.
在不同的地方，他们一次又一次的接受教育，证明定理，获得艺术灵感和技巧后将其抛弃。 yeeyan
This paper will expand famous Abelian theorem and Tanberian theory to the theory of divergent series in field of Complex number, author has established two theorems.
本文在复数域中推广著名的阿贝尔型定理与陶伯尔型定理到发散级数论中去，作者建立了两个定理。 iciba
This side will be space, this side will be the plane and we are going to start with theorems about work.
这边是空间上的，这边是平面上的,我们来看看关于做功的定理。 open.163.com
We have two theorems about work.
关于做功，我们有两个公式。 open.163.com
Theorems are fundamental truths that can be combined to more easily achieve further results.
定理是基本的原理，我们可以将其组合起来以获得更多的成果。 infoq |