无穷序列

Tarski's definition of truth of the calculus of classes is: x is true if and only if x is a sentence of the calculus of classes and every infinite sequence of classes satisfies x .

塔斯基得到的真概念定义是：x是类演算语言的任一语句，x为真当且仅当每一个类的无穷序列都满足x。

For the analysis properties of infinite matrix,first,it establishes the automatic conti-nuity theorems on the sequence spaces with 0-GHP or WGHP,and the automaticboundedness theorem on the sequence spaces with 0-GHP.

在无穷矩阵的分析性质方面，建立了具有0-GHP或具有WGHP的矢值序列空间上无穷矩阵算子的自连续性定理，以及具有0-GHP矢值序列空间上无穷矩阵算子的自有界性定理。

The method is of significance to construct infinite sequence exact solutions to other NEEs.

这种方法在构造变系数非线性发展方程无穷序列精确解领域具有普遍意义。

The method is of significance to construct infinite sequence complexiton solutions to other NEEs.

该方法在构造非线性发展方程无穷序列复合型精确解方面具有普遍意义。

The necessary and sufficient condition for the existence of 2-dimensional minimal realization is given, which is described by the relation of elements of the infinite sequence and is easy to check.

给出了存在2维最小实现的充要条件，该条件是用无穷序列｛g｝(上标∞下标 0)元素之间的关系描述的，因而容易判断；同时，用涂奉生提出的结构标准形和最小实现算法给出了2维最小实现的构造方法，从而完全解决了2维最小实现问题。

However, the equilibrium price is unique. Forth, an algorithm is proposed and analyzed to find equilibria, which will find an equilibrium structure or an infinite sequence converging to an equilibrium structure.

第四，提出并分析了一个搜寻均衡的算法，该算法可以找到一个均衡结构或找到一个收敛于均衡结构的无穷序列。

It is pointed out that the complete infinite sequence of natural numbers cannot consist of only finite ordinals, thus a kind of so-called "potential tail" may be defined.

指出了一个完全的自然数无穷序列不可能由且仅由无穷多个有穷序数去组成，如此就引进并定义了叫做"潜尾"的概念。

Including the Jacobi elliptic function, the hyperbolic function, the trigonometrical function and the rational function, the infinite sequence multi-skill new exact solution through several forms compound.

这里包括Jacobi椭圆函数、双曲函数、三角函数和有理函数，通过几种形式复合而成的无穷序列复合型新精确解。

To seek new infinite sequence exact solutions to nonlinear evolution equationsNEE(s, the formula of nonlinear superposition of the solutions of the second kind of elliptic equation are given, infinite sequence exact solutions to combined KdV with varible coefficients and forcible term is constructed with the aid of symbolic computation system Mathematica, which include Jacobi-like elliptic function solutions, infinite sequence soliton-like solutions and infinite sequence triangular function solutions.

为了获得变系数非线性发展方程的无穷序列精确解，给出第二种椭圆方程解的非线性叠加公式，借助符号计算系统Mathematica构造了带强迫项变系数组合KdV方程的无穷序列精确解。这里包括无穷序列类Jacobi椭圆函数解、无穷序列类孤子解和无穷序列三角函数解。

It is pointed out that the complete infinite sequence of natural numbers cannot consist of only finite ordinals, thus a kind of so-called "potential tail" may be defined.

指出了一个完全的自然数无穷序列不可能由且仅由无穷多个有穷序数去组成，如此就引进并定义了叫做&潜尾&的概念。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。