theorem 六级

I agree with the theorem that the best defence is offence.

我同意最好的进攻的论。

To establish Cantor's theorem it must be shown that f is necessarily not surjective.

进一步的，从这个事实得出这个搜集不集合而真类；

His theorem can be translated into simple terms.

他的可用更简的术语来解释。

In this paper , a rigidity theorem of hypersurface in real space form will begiven.In addition, we obtain rigidity theorems of submanifold in sphere which improvethe result of Hou and Xu.

本文给出实空间形式中超曲面的一个刚性，同时也得到求面中子流形的刚性结果.

Bitonic is introduced and a theorem is proved. The algorithm of bitonic merge-sort is given.

介绍了二分序列的概念和证明，给出了利用二分归并进行排序的算法及实例.

In addition,the paper proposes decision judgement theorem,decision discernment theorem, decision surplusage discarding theorem and hole digging principle on decision factors universe X .

文章提出具有中性域X(X≠{x})X的上的双枝模糊决策的概念和决策优化分析模型、决策判、决策识别、决策去余和决策因素域X上的挖洞原。

This paper presents the source coding theorem for discrete-time stationary Gaussian sources with absolutely summable autocorrelation sequence.

摘要本论文提出具有绝对可加性自相关数列的离散时间稳高斯讯号的编码。

The present paper using upper and lower solutions,proves an existence theorem of almostperiodic solutions for integrodifferential systems.

采用上下解方法，给出了一个积分微分系统概周期解存在的一般性。

The nonoscillatory properties of the second order half-linear delay difference equations are studied. The comparison theorem and sufficient condition for the nonoscillation are obtained.

研究了二阶半线性时滞差分方程的非振动解的性质,建立了非振动解的比较和充分条件.

new minimax inequality theorem is established,which will be used to study theexistence problems of solutions for quasi-variational inequalities on paracompact sets.

建立了一类新的极大极小不等式，并利用它们讨论了仿紧集上的拟变分不等式。

Based on some basic theorems in theory of numbers this program takes advantage of probabilistic algorithm to test a large number for primality.

基于初等数论中的一些基本,本程序利用概率算法,快速判一个大数否为素数。

This approach use tree index and theorem about leaforder region to evaluate semiflexible queries over ontology tree.

该方法通过建立索引和使用叶序区间判断SF-Condition(半柔性条件)否满足实现本体上的半柔性查询求解。

In this paper, some general theorems and variational principles of the boundary value problem for two time instants in nonlinear elastodynamics are developed.

本文给出了非线性弹性动力学两时端边值问题的某些一般及变分原。

This paper generalizes some properties of coalgebra to π-coalgebra which is defined by Alexis Virelizier. The main result in the paper generalizes fundamental isomorphism theorem to π-coalgebra.

引用π-余代数的概念,把一些余代数的性质推广到π-余代数中,最主要的把基本同构推广到π-余代数中

By proving properties of demicontinuous function and series with function terms, use methods of finite coveting theorem and its application in proving problems are introduced.

通过半连续函数及函数项级数等有关性质的证明,介绍了有限覆盖的使用方法,说明了它在证明问题中的作用。

This paper presents and proves a discriminant theorem which is suited to examine the determinability of the discrete linear system,which shows that an outstanding issue of this field has been solved.

本文得到离散线性系统能决性的一个判别，该解决了文献中尚未解决的相关问题.

As an application, some nonexistence theorems of nonconstant stable harmonic maps from a Finsler manifold to a Riemannian manifold are given.

英文摘要： The first and second variation formulas of the energy functional for a nondegenerate map between Finsler manifolds is derived.

In the practical applications of highly nonnormal matrices, these theorems may be more useful than their generalized eigenvalue special cases and may provide more descriptive information.

在对高度非正规矩阵的研究应用中，这些将比它们的特例-广义特征值更可靠，能提供更多的信息。