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