... 不可决策性定理 undecidability theorem 不可决策的 undecidable 不可决策的语言 undecidable language ...
基于8个网页-相关网页
undecidable theory [数] 不可判定理论
undecidable problem 不可判定问题
Undecidable Decision Problem 不可解问题
undecidable rings 不可判定环
The undecidable 不可决策的问题
formal undecidable proposition 形式不可判定命题
undecidable language 不可决策的语言
undecidable ring [数] 不可判定环
totally undecidable problem 完全不可决策的问题
This theorem reveals that there exist undecidable propositions in a consistent formal system.
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
An undecidable statement can be thought of as a mathematical form of a statement like "I always lie."
一个无法判定的命题可以被当成是“我总是说谎”的数学形式。
Because precise determination of a computer virus is undecidable, a method based on improved K-nearest neighbor to detect computer virus approximately is presented in this paper.
由于计算机病毒检测的不可判定性，提出了一种基于改进的K最近邻检测方法来实现对计算机病毒的近似判别。
应用推荐