Category:計算可能性理論
計算可能性理論に関するカテゴリ。
- このカテゴリは、再帰理論 (計算可能性理論とも呼ばれる)に関する項目を対象としている。再帰理論は、計算可能関数の概念の一般化や、チューリング次数などの関連概念についての数理論理学およびコンピュータ・サイエンスの一分野である。
- コンピュータ・サイエンスにおける計算可能性理論に関する関連情報は、計算理論に記載され、上位カテゴリのCategory:計算理論に分類される。(英語版カテゴリより)
下位カテゴリ
このカテゴリには下位カテゴリ 10 件が含まれており、そのうち以下の 10 件を表示しています。
え
- エフェクティブ記述集合論 （2ページ）
か
- 還元 (計算複雑性理論) （5ページ）
け
- 計算可能解析学 （2ページ）
- 計算可能性理論の研究者 （6ページ）
- 決定不能問題 （2ページ）
こ
- コンビネータ論理 （5ページ）
さ
ち
- チューリングマシン （11ページ）
は
- ハイパーコンピュテーション （3ページ）
ら
- ラムダ計算 （15ページ）
カテゴリ「計算可能性理論」にあるページ
このカテゴリには 28 ページが含まれており、そのうち以下の 28 ページを表示しています。