定理

Always takes longer than you expect, even when you take into account Hofstadter's Law.- Hofstadter's Law

Hofstadter 定理："一件事情总是会花费比你预期更多的时间，就算是你已经考虑过本条Hofstadter 定理"。

By using homeomorphism method and the extended inverse function theorem,the existence and uniqueness of the solution for the semi-linear pseudoparabolic equations is obtained.

首先在Hilbert空间中建立了强制不等式，利用同胚方法和抽象的反函数定理，得到了半线性伪抛物方程初边值问题解的存在性和惟一性定理。

There is a relatively complete style of homogeneous function about the boundary condition in the problem of sure resolution of unhomogeneous boundary condition,which is based on the summarizing of mass former experiences and is proved in this article.

通过对非齐次边界条件的定解问题的讨论，引出了本文的论题，对非齐次边界条件定解问题的边界条件齐次化函数提出了一种比较一般和标准的形式，并提出了一个定理。对该定理进行了证明，证明了它的正确性。

In this chapter, firstly, the definition of rough semigroups is given afresh. Then based on rough groups, rough subgroups, rough cosets, rough invariant subgroups, some properties of rough subgroups and rough invariant subgroups and the concept of rough quotient groups are introduced. Finally, based on some concepts of homomorphism and isomorphism of rough groups, basic homomorphism theorem and isomorphism theorem of rough groups are put forward and proved.

在这一章中，首先重新给出了粗糙半群的定义，其次在粗糙群、粗糙子群、粗糙陪集、粗糙不变子群的基础上，给出了粗糙子群的若干性质、粗糙不变子群的三个重要性质和粗糙商群的定义，最后在粗糙群同态与同构的基础上，给出了粗糙群同态基本定理与同构定理。

The theorems of Ibn al-Haytham, Omar Khayyam and Nasir al-Din al-Tusi on quadrilaterals , including the Lambert quadrilateral and Saccheri quadrilateral , were the first theorems on elliptical geometry and hyperbolic geometry , and along with their alternative postulates, such as Playfair's axiom , these works had a considerable influence on the development of non-Euclidean geometry among later European geometers, including Witelo , Levi ben Gerson , Alfonso , John Wallis , and Giovanni Girolamo Saccheri .

定理伊本Haytham，欧玛尔海亚姆和纳西尔基地丁铝土司上quadrilaterals ，包括德兰伯特四边形和萨凯里四边形，是第一个椭圆形的几何定理和双曲几何，并连同其替代假设，如普莱费尔的公理，这些作品有相当发展的影响非欧几里德几何之间稍后欧洲geometers ，包括Witelo ，列维本格森，阿方索，约翰瓦利斯和乔瓦吉罗拉莫萨凯里。

Transfer operator; Young's nonuniformly hyperbolic system; rational map; central limit theorem; large deviation

转移算子； Young非一致双曲系统；有理映射；中心极限定理；大偏差定理

A pointwise characterization of fuzzy complete regularity is yielded by means of the Q- neighborhood structures and some algebraic properties of certain class of maps in lattices. The Weil theorem on fuzzy uniformity and the general imbedding theorem in the fuzzy basic cube are established.

其次给出不分明完全正则的点式刻划与关于一致结构的著名Weil定理的不分明推广并从而建立了在不分明单位方体中一般性的嵌入定理。

Theorem, Implicit Function Theorem and its Applications.

分函数，可积分函数，反函数，隐函数定理及其应用，向量微积分基本定理

By using implicit function theorem, Taylor's formula and mean theorem, the form of the non-affine nonlinear systems is transformed into the form of affine nonlinear systems.

利用隐函数定理和泰勒公式及中值定理，将非仿射非线性系统转变为仿射型非线性系统。

Del incompleteness theorem is based on some interpretation of first order arithmetic.

本文首先从形式主义的角度介绍了哥德尔不完全性定理，提出"哥德尔不完备性定理"的说法是容易混淆的，说明一阶算术有非标准模型，哥德尔的证明是基于标准模型的，可以推出一阶算术在标准模型上的不完备。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。