1) Cocompleteness
余完备
2) complete residuated lattice
完备剩余格
1.
In the present paper, the rules of total implication α-MIFMP, α-MIFMT for fuzzy reasoning in complete residuated lattice are defined, the algorithm formulas of total implication α-MIFMP, α-MIFMT in the residuated lattice have been gained, and we apply the results to Godel logic system, Lukasiewicz logic system, Goguen logic system, and W.
本文在完备剩余格中给出了模糊推理。
3) Φ-cocompleteness
Φ–余完备性
4) complete congruence relations
完备同余关系
5) prime complete complementation
素数完备互余式
6) 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.
以θ－子群偶为工具推广了关于Ｄｅｓｋｉｎｓ完备的一个已知结果，顺便指出该已知结果论证中的一个关键性错误。
补充资料：哥德尔不完备性定理
| 哥德尔不完备性定理 G  del's incompleteness theorem数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理：任意一个包含算术系统在内的形式系统中，都存在一个命题，它在这个系统中既不能被证明也不能被否定。第二不完备性定理：任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年，J.帕里斯给出了一个自然的命题，这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条