英语释义

• an idea accepted as a demonstrable truth

• a proposition deducible from basic postulates

片语

existence theorem[计][数] 存在性定理

Reciprocity theorem[电子][数] 互易定理；[电磁] 倒易理论

pythagorean theorem勾股定理；毕氏定理

reciprocity theorem[电子][数] 互易定理；[电磁] 倒易理论

coase theorem科斯定理

equipartition theorem[数] 均分定理

Picard theoremIn complex analysis, a discipline within mathematics, the Picard theorem, named after émile Picard, is either of two distinct yet related theorems, both of which pertain to the range of an analytic functio

fixed point theorem[数] 不动点定理

mean value theorem[数] 中值定理，[数] 平均值定律

residue theorem留数定理；[数] 残数定理

gauss theorem高斯定理

sampling theorem[数] 抽样定理

duality theorem[数] 对偶定理

binomial theorem[数] 二项式定理

remainder theorem余式定理

central limit theorem[数] 中心极限定理

theorem of kinetic energy[力] 动能定理

chinese remainder theorem[数] 孙子剩余定理

comparison theorem[数] 比较定理

approximation theorem[数] 逼近定理

separation theorem[数] 分离定理，分离定律

superposition theorem[电子] 叠加定理

intermediate value theorem[数] 介值定理

Clausius theoremThe Clausius theorem (1855) states that for a system undergoing a cyclic process (i.e.

uniqueness theorem[电磁] 唯一性定理；单值定理

theorem proving定理证明

英汉例句

• in some sense, we「re closing a door on this problem in physics. but we are actually opening a much larger door for future tests of the equipartition theorem at the quantum level.

  就某方面来说，我们正关上这扇物理问题的大门，同时我们开启了一扇更大的门，通向以后量子层面的能量均分定理测试。

• in mathematics, once the proof of a theorem is published, there is no need for any authority to certify that the theorem is true.

  在数学里，一旦一个定理的证明被公布了，就不需要一个权利机构去认证这个定理是成立的。

• so, the fundamental theorem of calculus, not for line integrals, tells you if you integrate a derivative, then you get back the function.

  微积分基本定理，不是曲线积分的，告诉我们，如果对函数的导数积分，就会得回原函数。

• so, that」s by the divergence theorem using the fact that s is a closed surface.

  所以那是通过散度定理得到的,其中使用了s是封闭曲面这一事实。

• with research continuing into this strand of ancient history, it remains to be seen whether pythagoras「s theorem will come to bear the name of an old babylonian scribe instead.

  随着研究继续深入到这段古老历史的边缘，毕达哥拉斯定理是否会被一个古老的巴比伦文人的名字来取代，仍然有待于进一步的观察。

• pierre de fermat had proposed the theorem in 1637, and a proof had only recently been discovered when the episode aired.

  皮埃尔.德.费马在1637年发现这个定理，但证明可是在这集动画片播出前不久才刚刚公布的。

• so, the divergence theorem gives us a way to compute the flux of a vector field for a closed surface.

  散度定理为我们提供了一种,计算向量场通过闭曲面的通量的方法。

• in a scholarly paper published in 2000, li proposed the theorem be applied to credit risks, encompassing everything from bonds to mortgages.

  在2000年发表的一篇学术论文里，李建议了这个可应用于信用风险的定理，涵盖了从债券到房屋抵押贷款的一切。

• demonstrates that a small amount of code verified with automated theorem proving can support an arbitrary large amount of tal code.

  它演示了少量带有自动化定理证明功能，经过验证的代码它能够支持任意数量的tal代码。

• watch theorem is that a person has a table, you can know it is a few minutes, and when he has two tables not being able to determine.

  手表定理是指一个人有一只表时，可以知道现在是几点钟，而当他同时拥有两只表时却无法确定。

• theorem watch another layer of meaning that everyone can not choose two different values, otherwise your actions will be in chaos.

  手表定理所指的另一层含义在于每个人都不能同时挑选两种不同的价值观，否则，你的行为将陷于混乱。

• the gist of this theorem is that you can」t get learning 「for free」 just by looking at training instances.

  这个原理的基本出发点是你不能仅仅通过查看训练实例来「免费的」进行学习。

• demonstration of automated techniques, tal and automated theorem proving, to verify the safety of the complex low-level code in the operating system and run-time.

  它演示了自动化技术、tal和自动化定理证明，从而验证了操作系统中和运行时复杂的低级代码的安全性。

• for dr perelman, transforming a conjecture into a theorem appears to have been prize enough.

  对于他而言，把猜想变为定理似乎要比变成奖金更能得到满足。

• so it's great. once you have demonstrated, once you have proven that this parallel axis theorem works, then, of course, you can always use it to your advantage.

  很了不起啊，一旦你们证出来了，一旦你们证明了,这个平行轴定理可行，当然，你们可以一直,为自己的便利利用它。

相似词

thesis论文；论点

prescription凭处方方可购买的