(logic) Recursion theory. / (computer science) The branch of the theory of computation that studies which problems are computationally solvable using different models.
computability theory
ゼミでは、どの決定問題がアルゴリズム的に解けるかを明らかにするために再帰理論を探求しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
