- 更多网络例句与不可判定性相关的网络例句 [注:此内容来源于网络,仅供参考]
-
Turing machines: equivalent forms, undecidability.
图灵机:等价形式,不可判定性。
-
Topics covered include: finite automata and regular languages, context-free languages, Turing machines, partial recursive functions, Church's Thesis, undecidability, reducibility and completeness, time complexity and NP-completeness, probabilistic computation, and interactive proof systems.
课程项目包含:有限状态机与正规语言,情境无关语言,Turing机,部分递回函数,Church理论,不可判定性,可简化性与完整性,时间复杂度与NP-完整性,或然率计算,与交互验证系统。译注:Turing machine 一般译作"图灵机"或"图林机",本课程依据专有名词保留原则,一律译为Turing机。
- 更多网络解释与不可判定性相关的网络解释 [注:此内容来源于网络,仅供参考]
-
undecidability:[数][逻]不可判定性
quadruple vector product 四重向量积 | undecidability [数][逻]不可判定性 | One's hour has come. 某人的死期已到.
-
uncountable ordinal:不可数序数
不相关随机变量 uncorrelated random variables | 不可数序数 uncountable ordinal | 不可判定性 undecidability
-
undecidability theorem:不可判定性定理
不可判定性 undecidability | 不可判定性定理 undecidability theorem | 不可判定理论 undecidable theory
-
undecidability:不可判定性
相反,吸引他的,一方面是这个问题的不可判定性(undecidability),另一方面,则是此问题向尼采的书写,而不常向其他哲学家的书写(尽管海德格尔在这里是个例外)提出这样一个事实.
-
quadruple vector product:四重向量积
bicycle gear 自行车式起落架 | quadruple vector product 四重向量积 | undecidability [数][逻]不可判定性
-
undecidable:不可判定的
undecidability 不可判定性 | undecidable 不可判定的 | undecimal 十一进制的