说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 完备论
1)  the theory of perfectness
完备论
1.
lt should be replaced by the theory of perfectness——another thinking in the Chinese legislation, which aims to build a complete and perfect legal system in China.
但在现代 ,它已经不符合实际需要 ,应以建立完备系统的法律体系作为我国立法的基本思路 ,这种思路可称作“完备论”,它不仅是必要的 ,而且也是完全可行的。
2)  model theory/complete theory
模型论/完备理论
3)  completion [英][kəm'pli:ʃn]  [美][kəm'pliʃən]
完备
1.
The Judgment of Inverse M-Matrix Completion Based on Digraph and Its Algorithm Design & Realization;
基于有向图的逆M矩阵完备的判定及其算法的设计与实现
2.
In the paper, the completion problems of the partial matrices are discussed.
对此类型矩阵的完备问题进行研究,给出它的完备定理以及具体的算法,根据此算法可以很容易的得到三对角线部分逆M矩阵的完备式。
3.
A known result on the Deskins completion is extended by using“θ-pairs”and a key error in the proof of the known result is corrected in passing.
以θ-子群偶为工具推广了关于Deskins完备的一个已知结果,顺便指出该已知结果论证中的一个关键性错误。
4)  completeness [英][kəm'pli:tnis]  [美][kəm'plitnɪs]
完备
5)  complete [英][kəm'pli:t]  [美][kəm'plit]
完备
1.
Compactness and Completeness of Fuzzy Normed Linear Space;
模糊赋范线性空间的紧性与完备性
2.
Complete Algorithm of Quick Heuristic Attribute Reduction Based on Indiscernibility Degree
基于不可区分度的启发式快速完备约简算法
3.
In order to probe into the properties of frequency spectrum for a group of parametric curves, a class of orthogonal complete piecewise k-degree polynomials in L 2[0,1],called U-system, is introduced.
为了探索参数曲线图组的频谱性质,引进一类属于L2[0,1]的正交完备分片k次多项式系统(简称U系统)。
6)  perfect [英]['pə:fikt]  [美]['pɚfɪkt]
完备
1.
),we get a necessary condition on which L is perfect by expanding the derivatives of R on L.
目的是给出特征零域上的有限维不可解L ie代数L完备的等价条件。
2.
In this paper, we shall determine the structure of perfect π regular type A ω semigroups.
我们将决定完备 π-正则型 Aω-半群的结
3.
Since China s concerning legislation have many defects at present, a comparative perfect legislation system of service trade should be established in China, so as to meet the requirements of WTO and GATS as well as the development of China s service trade.
我国现行服务贸易法制还存在许多缺陷,必须建立一套相对完备的服务贸易法律体系才能适应WTO与GATS的要求和我国服务贸易发展的需要。
补充资料:哥德尔不完备性定理
哥德尔不完备性定理
G!!!G0352_1del's incompleteness theorem

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