Category:計算可能性理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』

計算可能性理論に関するカテゴリ。

このカテゴリは、再帰理論 (計算可能性理論とも呼ばれる)に関する項目を対象としている。再帰理論は、計算可能関数の概念の一般化や、チューリング次数などの関連概念についての数理論理学およびコンピュータ・サイエンスの一分野である。
コンピュータ・サイエンスにおける計算可能性理論に関する関連情報は、計算理論に記載され、上位カテゴリのCategory:計算理論に分類される。(英語版カテゴリより)

下位カテゴリ

このカテゴリには下位カテゴリ 10 件が含まれており、そのうち以下の10 件を表示しています。

  • 再帰(2サブカテゴリ、12ページ)