查询词典 theorem

Letг is a theory,if г has extensions,then the theorem of the theory г is the intersectionof its all extensions;if г has no extension,its theorem is the whole language.

由于非单调逻辑I中出现了一些与直觉相悖的情形，为此，D。

In exterior differentiation, one studies tensors, exterior algebra, tangent bundle, tangent vector fields, one-parameter groups action on a manifold, Frobenius's theorem, tensors fields, exterior differential form, integration on manifolds, Stokes's theorem etc.

外微分部分主要涉及外代数、切丛，光滑切向量场，单参数变换群，光滑张量场，外微分形式，Frobenius定理，外微分形式的积分，Stokes定理及其应用等。

In chapter2 we obtain the constructure theorem and intechange theorem of 2-tournaments.wefind the correlation between the number of 3-cycles and 2-cycles in 2-tournament andits score vector,discuss a class of extreme value problem of tournament,answer partlya open problem posed by Brualdi.

第二章讨论了2-竞赛图和竞赛矩阵的一些基本问题：存在性和结构问题，证明了具有相同得分向量的任意两个2-竞赛矩阵可以通过三角形转换而互相得到，得到了2-竞赛图中2-圈与3-圈的数目与得分向量之间的关系式；讨论了2-竞赛中的一类极值问题，部分地回答了Brualdi〓的一个问题。

The reason of our being particularly overjoyed lies primarily on the fact that the subject of this Congress is mathematics, which has been respected as "the queen of sciences" for its brilliant intellectual accomplishments, as suggested by the examples of the discovery of Goedel's theorem and the proof of the Fermat Last theorem in the last century.

我上面说感到"特别高兴"，是因为数学一向以其辉煌的智力成就而被尊为"科学的皇后"，如上一世纪哥德尔定理的提出与费马大定理的证明就是一例。

Schur theorem was discovered by German mathematician Schur in 1916 when researching on the limited domain of Fermat's great theorem.

Schur定理是德国数学家Schur在1916 年研究有限域上的Fermat 大定理时发现的。

Moreover, we also get a fixed point theorem of uniform partial extension mapping and a fixed point theorem of quasi- extension mapping.

另外，我们还得一个一致局部扩张映射不动点定理与一个准扩张映射不动点定理。

Mainly by means of the Hopf bifurcation theorem and the cone fixed point theorem in the functional differential equations.

本文对非线性项为两种形式的时滞Van der Pol方程分别加以比较，利用Hopf分支理论和锥不动点定理，得到相应方程在周期解和Hopf分支方面上的差异。

Construction and properties of the integral; convergence theorems; Radon-Nykodym theorem; Fubini's theorem; mean convergence.

积分。 积分的构造和性质；各类收敛定理；拉东(Radon-Nykodym)定理；富比尼定理；平均收敛

This theorem, which had challenged mathematicians for centuries, is still called "the fundamental theorem of algebra".

表现最好的孩子是那些其父母为既支持又激励型的。

Integral Calculus: definite and indefinite integrals; fundamental theorem of calculus; techniques of integration; Taylor's Theorem; applications in geometry, physics and engineering.

积分学：定积分与不定积分、本定理、积分的方法、勒定理、分学在几何、理和工程学上的应用。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"