Furthermore, it presents a creditability problem about theorem proof in propositional logic.
也引申出命题逻辑定理证明的一个可信性问题。
Finally discusses the Lagrange mean value theorem proof method of constructing auxiliary function in order to expand on the idea of theorem proving.
最后探讨了拉格朗日中值定理证明中辅助函数的构造方法，以此拓展对定理证明的思路。
In mathematics, once the proof of a theorem is published, there is no need for any authority to certify that the theorem is true.
在数学里，一旦一个定理的证明被公布了，就不需要一个权利机构去认证这个定理是成立的。
Although there have been some new developments in mathematics, such as the proof of the famous four-color theorem, 1 the basic material has remained unchanged.
虽然在数学领域也有一些新的进展，例如对著名的四色定理的证明，1但是基本的材料却保持不变。
Pierre DE Fermat had proposed the theorem in 1637, and a proof had only recently been discovered when the episode aired.
皮埃尔。德。费马在1637年发现这个定理，但证明可是在这集动画片播出前不久才刚刚公布的。
Publishing the source code of a program is the equivalent of publishing the proof of a theorem.
公布一个程序的源代码与公布一个定理的证明是一样的。
It is true, and the proof comes as an application of a fixed point theorem which I discussed a year ago.
这是真的，证据来自不动点原理的一种运用，一年前我曾探讨过它。
And we will see the proof and everything and applications on Tuesday, but I want to at least the theorem and see how it works in one example.
我们将会在周二学习它的证明、应用等等，但是我还是想说一下定理和一个应用的例子。
So, that's the end of the proof. OK, so you see, the idea is really the same as for Green's theorem.
这就是最终的证明了，证明的思路和证明格林定理的是一样的。
All I have to do is apply my mind. - There's no theorem, no proof.
我所需要做的只是使用我的大脑。-这没有定律，也没有证明。
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
This paper introduces the proof and application of Cauchy mean-value theorem from many angles in every aspect.
本文介绍了柯西中值定理的多种证明方法及其应用。
As its application, we give a new proof of the existence theorem of prime models.
作为其应用，我们给出了素模型存在定理的另一种证明。
On the other hand, we give a different proof of a theorem.
另外，我们给出一个定理的一种不同的证明。
Understand Euclid's proof of the Pythagorean Theorem.
理解欧几里得对毕德哥拉斯定理的证明。
Finally, intuitionistic fuzzy relations are investigated with the proof of a theorem on intuitionistic fuzzy similar matrix.
最后，研究了直觉模糊相似关系，证明了直觉模糊相似矩阵的一个定理。
This paper gives a simple proof of the first mid -value theorem of Integral.
本文就积分第一中值定理给出了一个简单的证明。
The paper will review historically the difficult course of the proof of Fermat's Great Theorem.
文中就费马大定理证明的艰难历程作一历史性的评述。
Gives more general results on the gradualness of the median point of Lagranges median theorem and first median theorem for integrals and its succinct proof.
给出了拉格朗日微分中值定理和第一积分中值定理中值点的渐进性的更一般性的结果及其简洁证明。
In this paper, a proof of the theorem on "Any two denumerable Boolean algebras with atoms of the same finite number are isomorphic" is given.
在这篇论文中，定理“任意两个具有相同有限个原子的可数无穷布尔代数是同构的”的一个证明被给出。
In this paper a new proof of Tehebyeheff theorem in several variables has been given.
在这篇文章中我们给出了多元逼近的定理一个新的证明。
The proof of the theorem is elementary.
完成了该定理的初等证明。
Context: Euclid's proof of the Pythagorean theorem made use of the previous proven theorem known as Proposition 41.
上下文：欧几里得关于毕德哥拉斯定理的证明利用了前已证明的命题41。
This paper gives a proof of a comparison theorem on the viscosity solution of HJB Equation.
证明了与随机控制问题有关的动态规划方程粘性解的比较定理。
A proof based on the fundamental theorem has no counterpart for functions of several variables.
根据基本定理的证明对于多元函数就没有相似的东西。
However, probably, his greatest achievement lies in proof of Fermat's last theorem - something still to receive wide recognition.
然而，或许，他的最伟大的成就在于首先证明费马大定理—一项依然等待获得广泛承认的成就。
A direct proof of the theorem is given in this paper.
本文给出了该定理的一个直接证明。
The second proof of Theorem 26 is due to James.
定理26的第二个证明属于詹姆斯。
In this paper, an improved suggestion is made of proof way and process of fundamental theorem of linear programming.
本文就线性规划基本定理的证明方法及过程提出一点修改意见。
In this paper, we use the theory of symmetric bilinear function to solve problems of quadratic form, and finally give a proof of the inertia theorem.
通过建立二次型与对称双线性函数之间的对应关系，在双线性函数的概念下讨论二次型化标准型的问题，最后给出惯性定理的一个证明。
应用推荐