computability theory

短语

[计] 可计算性理论

释义与例句

n.
  1. 1.

    Recursion theory.

    不可数 数学 哲学
  2. 2.

    The branch of the theory of computation that studies which problems are computationally solvable using different models.

    不可数 计算机 工程 数学