说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 完备例外序列
1)  Complete exceptional sequence
完备例外序列
2)  perfect sequences
完备序列
1.
Based on perfect sequences and unitary matrices,Matsufuji and Torii et al.
最近Matsufuji和Torii等人分别提出了由酉矩阵和完备序列构造零相关区序列集的方法。
2.
Based on perfect sequences and unitary matrices,this paper constructs a kind of hexa-phase ZCZ sequence and also improved the method,finally analyzes their correlation functions.
本文在最近提出的利用完备序列和酉矩阵构造 ZCZ 序列的基础上,构造了一六相的 ZCZ 序列,并将构造方法进行了扩展,并对其相关特性进行了分析。
3)  sequentially complete
序列完备
1.
A generalization of Caristi s fixed point theorem in sequentially complete local convex space is given.
给出序列完备局部凸空间中的Caristi不动点定理,并证明该定理与A。
2.
The mainresults are :Theorem 1 Let X be sequentially complete and f: Ω→X weakly holomoaphic.
讨论了向量值全纯函数各种定义的等价性,主要结果有定理1设X是序列完备的,f:Ω→X是弱全纯的,则f:Ω→X_β是强全纯的,从而f:Ω→X是强全纯的。
3.
The notion of sequentially convex compactness property for locally convex separated spaces is introduced in this paper,and the conclusion that sequentially complete spaces have sequentially convex compactness property is released.
在局部凸分离空间中提出了列凸紧性的概念,给出了序列完备的空间一定具有列紧性的结论。
4)  exceptional sequence
例外序列
1.
The existence and uniquenes of almost complete exceptional sequences over a finite-dimensional hereditary algebra are convestigatesd by using perpendicular categories and hammocks.
利用垂直范畴和Hammock图中的性质定理,研究了有限维遗传代数A=kΔ→上几乎完备例外序列补的存在性与惟一性。
2.
The notation of exceptional sequence came from the study of vector bundles.
例外序列的概念来源于对于向量丛的研究。
5)  complete type series
完备型序列
1.
In this paper,we define the complete type series and study some properties of it.
本文定义了完备型序列,讨论了完备型序列的一些性质。
6)  completion of the weak sequence
弱序列完备
1.
Provides the conditions for the monotonicity of a sort of Banach lattice space norm and its local uniform monotonicity and further proves that the space is the sufficient and necessary condition for the completion of the weak sequence.
给出了一类 Banach格空间范数的单调性及局部一致单调性的条件 ,进一步得到了该空间是弱序列完备的充要条件。
补充资料:哥德尔不完备性定理
哥德尔不完备性定理
G!!!G0352_1del's incompleteness theorem

   数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。
   哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条