定理

We prove the existence theorem of rationed with Borel points for meromorphic functions in the unit circle, discuss the operations of algebroid functions and the existence theorem of Nevanlinna direction of algebroid function dealing with mutiple values, and obtain some uniqueness theorems dealing with mutiple values of algebroid functions.

证明了单位圆内限定Borel点的亚纯函数的存在性定理，讨论了代数体函数的运算性质以及涉及重值的Nevanlinna方向的存在性定理，得到了一些涉及重值的代数体函数的唯一性定理； 2。

This paper presents the new bound theorems in structural limit analysis developed on the basis of the generalized variational principle. The approximate limit factors determined from the new bound theorems are closer to the exact limit factor than the ones obtained from the classical bound theorems.

本文给出在极限分析的一般变分原理[1]的基础上发展起来的极限乘子的新的上、下限定理[10]，由这个新的上、下限定理决定的极限乘子的上、下限比经典的上、下限定理给出的更为靠近准确解。

Since the structure self-organization and self-learning abilities of GFNN, it is different from the universal approximation theorem of FLS and BP theorem of NN.

由于GFNN的结构自组织和参数自学习能力，使得它与模糊逻辑系统中的万能逼近定理以及人工神经网络的BP逼近定理不同，GFNN不再只是一个存在性定理，它给出了GFNN的实现过程。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

The content of this course is divided into four chapter, the normed linear space and bounded linear operator on the normed space; the character of finite dimensional linear space; the basic theorems on Banach space.

本课程主要分为四章，赋范线性空间与内积空间；赋范线性空间上的有界线性算子，有限维赋范线性空间的特征。Banach空间中的基本定理：泛函存在定理，一致有原理，开映象，闭图象、逆算子定理。

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

Theorem C: The commutator algebra of so *(2 n ) is its own, and the commutator algebra ofand the commutator algebra of Theorem D: The Cartan subalgebra ofand the Cartan subalgebra of Theorem E: The structural formula of

定理C so *(2 n )的换位子代数就是其本身， g *(2 n， S ， C )的换位子代数为g *(2 n + 1， S ， C)的换位子代数为定理D so *(2 n )和g *(2 n ， S ， C )的Cartan子代数是定理E so *(2 n )和g * m， S ，(来源：AB78C论文网www.abclunwen.comC 的结构公式都是来源：A6bBCe9论文网www.abclunwen.com

Secondly,we firstly study the properties of functions with values in a uni-versal Clifford algebra 〓,and we obtain the following very important basictheorems in universal Clifford analysis:Cauchy's integral formula,Cauchy's inte-gral theorem,the mean value theorem,the three versions of the maximum mod-ulus theorem,the Taylor's expansion,the Laurent's expansion and the residuetheorem etc..All of these results generalized the classical results.

第二，本文所讨论的各种函数性质以及所得的结果都在泛Clifford代数〓上所做的工作，它一方面包含了从前在泛Clifford代数〓上所做的工作，所得到的结果更广泛、更漂亮、更自然，另一方面，本文也是迄今为止第一次建立起来了在泛Clifford分析中与经典函数论相对照处基础地位的LR正则函数在特异边界上的Cauchy积分公式、Cauchy积分定理、平均值定理、极大模原理的三种表达形式、Taylor展式、Laurent展式留数定理等深刻的结果。

The key concepts are "isomorphism" and "symmetric isomorphism" which are used to describe the relation between two search domains, the key results are "Structure Theorem","Isomorphism Theorem" and "Isomorphism Classification Theorem".

核心的概念是非常重要的用于描述搜索域之间相互关系的"同构"与"对称同构"，核心结果是"结构定理"，"同构定理"和"同构类定理"。

The structure theorem is obtained by defining "ternary ordered partition method" which is used to choose the test-sets of the first $k$ tests, and by defining two operations and two relations on feedback sequences; The isomorphism classification theorem is strictly proved by virtue of the structure theorem, thus the complicated problem of discussing $3^k$ possible search domains is reduced to the relatively easy problem on $k+1$ representative search domains; By the techniques of "super-coin construction method" and "image-union method", the search problem on $k+1$ representative search domains is reduced to the simple verification of several conditions on finite space of small cardinality.

通过引入用于选取前$k$次试验的试验集的"三元有序剖分法"以及关于反馈序列的两种运算和两种关系，得到了结构定理；基于结构定理严格地证明了同构类定理，从而将必须针对$3^k$个搜索域的复杂问题转变为讨论$k+1$个具代表性的搜索域的相对简单的问题；通过"构造超币法"和"并像法"等技术手段，将关于$k+1$个具代表性的搜索域的搜索问题转化为简单的关于势非常小的有限空间的几个条件的验证问题。

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.

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