1) s-completion
s-完备
1.
We investigated the properties of s-completion by the set MH(G), and obtained some new conditions for the solvability of finite groups.
利用集合MH(G)={M|M是不包含H的G之极大子群}研究有限群G的极大子群s-完备的性质,得到有限群G可解的一些新判据。
2.
In this paper,we attempted to study the solvability of finite groups by using s-completions of maximal subgroups,and received several necessary and sufficient conditions about the solvability of a finite group.
该文尝试用极大子群的s-完备来研究有限群的可解性,并得到了有限群可解的几个充分必要条件。
2) s-θ-completion
s-θ-完备
1.
The s-θ-completions of Maximal Subgroups and the Solvability of Finite Groups
极大子群的s-θ-完备与有限群的可解性
2.
On the s-θ-completions of maximal subgroups and the π-solvability of a finite group
有限群极大子群的s-θ-完备与π-可解性
3) S-dcpos
S-定向完备偏序集
1.
In this paper, some theoretical properties of Category Pos-S will be extended to thecategory of S-dcpos.
基于序半群的S-系理论,本篇硕士论文将S-偏序集的一些结论推广到了S-定向完备偏序集和S-格上,主要研究了S-定向完备偏序集范畴和S-格同余关系。
4) 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.
以θ－子群偶为工具推广了关于Ｄｅｓｋｉｎｓ完备的一个已知结果，顺便指出该已知结果论证中的一个关键性错误。
6) 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系统)。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条