computability theory

英語（米国） (en-US) 英語（イギリス） (en-GB)

名詞

不可算名詞

(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

日本語の意味

再帰理論 / 計算可能性理論

英語の意味

(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.

このボタンはなに？

In the seminar, we explored computability theory to determine which decision problems are algorithmically solvable.

ゼミでは、どの決定問題がアルゴリズム的に解けるかを明らかにするために再帰理論を探求しました。

詳細

意味（1）

(logic) Recursion theory.

意味（2）

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