theorem的例句大全

The inertia theorem of the quadratic form was conventionally proved by applying the theory of a set of linear equations ( see ( 1) p.214), or by using the dimensional formula of subspace ( see ( 2) p.335).

二次型的惯性定理通常用线性方程组理论（参见（1）P.214）或用子空间维数公式（参见（2）P.335）加以证明。

Approximation Theorem of Continuous Time Marker Chains

参数连续马尔科夫链的逼近定理

The capacity-cost function of discrete memoryless channel, and channel coding theorem.

离散无记忆信道的容量价值函数和信道编码定理.

Relation between Mittag-Leffler Theorem and Driving Point Function Z ( s) of Single Port Networks

Mittag-Leffler定理和二端网络策动点函数Z（s）的关系

A Few Theorem Regarding Integral Upper Limit Function

关于积分上限函数的几个定理

The proving of a class function's matrix dissolution theorem

一类函数的矩阵分解定理及其证明

In the first section it is proved that Weierstrass's approximation theorem in read analysis is hold in function spaces endowed with set-open topology.

在第一节中证明了实分析中著名的Weierstrass逼近定理在赋予集开拓扑的函数空间中成立。

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

The Bayes Risk Theorem is also deduced, the genuine application value is pointed out. In addition, the calculation of the real mean risk value, the mean test number and prior probability P_H_0 are discussed.

另外还讨论了Bayes截尾SPRT方案的平均风险实际值、平均试验数及验前概率P（H0）的计算。

The extended Abel Theorem 1 assert that between the convergence domain and di-vergence domain of the pover series ( 1.1) there is no ultimate boundary.

扩充后的Abel第一定理又指出了幂级数（1.1）的收敛域与发散域之间没有终极边界。

A compactness theorem of abstract semantics

关于抽象逻辑紧致性的一个定理

Through a theorem and numerical experiments, we discuss what customer bid if he decides to participate in the auction, and customer join in the auction or purchase the item at the posted price when he arrives at the auction with a posted price.

通过一个引理及数值算例分析，讨论当顾客决定参与拍卖时，他应如何出价，当顾客抵达含有固定价格选项的拍卖网站时，他是选择参与拍卖还是以固定价格立即购得商品。

In this paper the capacity of tree-flower in Edmonds theorem of graph theory is extended to minimum covering points and a computing formula of minimum covering points for non-dual graph is introduced.

文中把图论里Edmonds定理的树花容量扩展为最小复盖点，并得到了计算非偶图最小复盖点数的公式。

The basic logical law of the argumentation of thinking is the law of sufficient reason. The law of sufficient reason is the first basic law of the logical thinking, and it's formal theorem is MP rule ( i.e.the rule of detachment).

反映思维论证性的逻辑基本规律是充足理由律，而且充足理由律是逻辑思维的第一位的基本规律，其形式语言表达式（形式定理）是MP规则（即分离规则）

In this paper, a new existence theorem of Nash equilibrium points is given.

本文给出了一个新的Nash平衡点的存在定理。

A New Existence Theorem for Nash Equilibrium Point

一个新的判定Nash平衡点存在的判定定理

G ( f4 ′) condition and strengthen form of stopping theorem

G（F4′）条件与加强形式的停止定理

View of Multi-culture on Right Angles Theorem

多元文化下的勾股定理

The teaching case that the Pythagorean theorem that this text offers proves is the application of probing into teaching.

本文提供的勾股定理证明的教学案例就是一次探究性教学的应用。

Using VBA Programming of PowerPoint to Make Exploration-and-Verification Interactive Courseware of Pythagorean Theorem

利用PowerPoint的VBA编程功能制作勾股定理的探索与验证交互性课件