go top

undecidability
[ˌʌndɪˌsaɪdəˈbɪlɪti] [ˈʌndɪsaɪdəˈbɪləti]

  • n. [数] 不可判定性

网络释义专业释义

  定性

验汪: HDS的不可决定性Undecidability)和计算的复杂性使得自动验证技术在 HDS的应用中显得十分必要。

基于4个网页-相关网页

短语

undecidability theorem [数] 不可判定性定理 ; 不可决策性定理

essential undecidability [数] 本质不可判定性

Decidability and undecidability 可判定下和不可判定性

undecidability of thue system 图埃系统的不可判定性

undecidability of post system 波斯特系统的不可判定性

undecidability of normal system 正规系统的不可判定性

undecidability of arithmetic system 算术系统的不可判定性

undecidability of semi-thue system 半图埃系统的不可判定性

the undecidability of first-order logic 一阶逻辑的不可判定性

 更多收起网络短语
  • 不可判定性
    不可断定性

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句原声例句权威例句

  • That's the negative response to undecidability, and it's of course, a view that many of us may entertain.

    就是对不可定性一个消极反应当然我们可以容纳这个观点

    youdao

更多双语例句
  • There are two possible ways of reacting to what deconstruction calls "undecidability," that is to say the impossibility of our really being able to form a grounded opinion about anything.

    对解构主义所说的“不可判定性“可以有两种反应,也就是说,我们实在无法,也不能够对任何事物有任何根本的看法。

    耶鲁公开课 - 文学理论导论课程节选

  • That's the negative response to undecidability, and it's of course, a view that many of us may entertain.

    那就是对不可判定性的一个消极的反应,当然,我们可以容纳这个观点。

    耶鲁公开课 - 文学理论导论课程节选

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定