go top

computability theory

  • 促使可计算理论

专业释义英英释义

  • 促使可计算理论
    可计算性理论
  • 可计算性理论

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

Computability theory

  • abstract: Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.

以上来源于: WordNet

双语例句

  • In computability theory, there is a closely related concept known as Turing equivalence.

    计算理论里,一个相关概念灵等价。

    youdao

  • This includes computability theory, computational complexity theory, and information theory.

    包括计算理论计算复杂性理论,信息理论。

    youdao

  • In general, questions of what can be computed by various machines are investigated in computability theory.

    一般而言,计算理论研究问题什么是能够各种机器计算的问题。

    youdao

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

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

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