1) theorem
[英]['θɪərəm] [美]['θiərəm]
定理
1.
Nature,law and theorem of safety;
安全的本质、规律和定理
2.
4 theorems on whirl transform of rotor vibration;
转子进动分析的4个定理
3.
How to design the experience project by yourself validates the electrician theorem;
如何自拟实验方案验证电工学中的实验定理
2) law
[英][lɔ:] [美][lɔ]
定理
1.
According to differentiable manifolds theory, the paper discusses tile Legendre transformation of the Pfaffian form, introdues the operator of the Legendre transformation, derives the relation between the Legendre transformation and the partial differentiation and proves three laws.
从微分流形理论出发，讨论了Ｐｆａｆｆ形式的勒让德变换；引入了勒让德变换算子；给出了勒让德变换与偏微商的关系；证明了两个定理和一个引理。
3) theorems
[英]['θiərəm] [美]['θiərəm]
定理
1.
The Remark about Some Theorems of Real Number s Continuity;
关于实数连续性定理的一点注记
2.
A class of fixed point theorems on a compact hausdorff topological space;
紧哈斯道夫拓扑空间上的一类不动点定理
3.
This article has introduced some common basic natures of prime numbers,and has discussed other non-common natures and theorems of prime numbers.
本文介绍了素数的一些基本性质,并探讨了素数的一些其他非常见性质与定理。
4) ∏ theorem
∏定理
1.
Basic concept of Dimension and ∏ theorem and principle of homogeneity on dimensional analysis are introduced in this paper.
主要介绍了量纲的基本概念、量纲分析的∏定理及齐次性原则 ,用两个实例解释了量纲分析在物理中的应用 ,最后指出了用量纲分析问题时应注意的问题和存在的不
5) judgement theorem
判定定理
1.
Then, a useful judgement theorem about Boyce Codd normal form was advanced and proved.
在函数依赖的范畴内对关系模型的规范化理论及其运用问题进行了研究 ,证明了关于Boyce- Codd( BC)范式两个定义的等价性 ,提出了关于 BC范式的一个实用的判定定理并加以证明 。
2.
In this paper,two judgement theorems are given to act the same function of test.
本文给出两个综合评判的判定定理,使得综合评判选出的最优方案有无差错能够自查,以避免可能发生的决策失误,最后给出了一个实例以说明方法的有效性。
6) decision theorem
判定定理
1.
In this paper, several decision theorems for periodic function are given and proved, and then their applications are illustrated by the use of examples.
给出并证明周期函数的几个判定定理,并举例说明它们的一些应用。
2.
In this paper, the decision theorems that the equation type Ⅲ of fuzzy matrix has a solution when the index is one were studied, and we had obtained a series of solution that equation type Ⅲ of fuzzy matrix has a solution when the index is one.
提出了Fuzzy矩阵的Ⅲ型方程当指数为1时有解的判定定理,得到了一系列关于Fuzzy矩阵的Ⅲ型方程当指数为1时有解的结构。
3.
Utilizing these concepts,this paper presents the law and its -f-attribute control and proposes,the theorem of -f-attribute control,the decision theorem of -f-attribute control and the recognisition rule and application of -f-attribute control.
利用这些概念,提出规律与它的-f-属性控制,并给出-f-属性控制定理,-f-属性控制判定定理,-f-属性控制识别准则与应用。
补充资料：定理
定理
theorem
定理【theorau;TeopeMa] 真实性得到证明(Proof)的数学命题. 定理概念是与数学证明概念一起发展并且变得更加精确的.就公理方法(a粗。Tnaticlr止thod)来说，所考虑的理论中的定理是由事先选定的称为公理(a幻or。)的命题，用纯逻辑的方法导出的命题.由于假定公理是真的，定理也应该是真的.定理概念和证明概念的进一步精确与数理逻辑中对逻辑结果(】。乡calconsequence)概念的研究分不开，因此对于广泛的一类数学理论，就有可能把逻辑演绎过程归约为公式变换;所谓公式无非就是在一个适当的形式化语言(for-叮以血edh列多坦罗)中用确切的表述法则(演绎法则，见推导法则(deriva石。们n日e))写成的数学命题，演绎法则只考虑命题形式(不考虑内容).在用如此方式产生的形式理论中，证明(p代旧f)就是给出公式的一个有限序列:序列中的每一个公式或是一条公理，或是由序列的前面的公式根据演绎法则而得.一个公式称为一个定理，如果它是一个证明中的最后的公式. 定理概念的如此精细改进，提供了用严格数学方法得到数学理论的一系列重要结果的可能性.特别地，已经证明，表达数学实质章节的公理化理论(如算术)是不完全的，也就是说，存在一些命题，它的真或假是不能根据公理用纯逻辑的方法加以证明的.通常这些理论是不可判定的.也就是说，不存在一个统一的方法(算法)以便可以判定一个任意给定的命题是不是一个定理.B.E.山‘。撰
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条