「算術的階層」を解説文に含む見出し語の検索結果(41～50/158件中)
計算可能性理論において帰納的分離不能対（きのうてきぶんりふのうつい、英: recursively inseparable pair)とは自然数の集合の対で帰納的集合によって分離できないものをいう(Mo...
帰納的可算言語（きのうてきかさんげんご、英: Recursively enumerable language）は、数学・論理学・計算機科学における形式言語の一種である。部分決定性言語（Partiall...
帰納的可算言語（きのうてきかさんげんご、英: Recursively enumerable language）は、数学・論理学・計算機科学における形式言語の一種である。部分決定性言語（Partiall...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/12/16 07:47 UTC 版)「証明論」の記事における「一貫性（無矛盾性）の証明」の解説先に述べたように、ヒルベルト・...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「他の分科の始まり」の解説アルフレッド・タルスキはモデル理論...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/13 15:58 UTC 版)「多項式階層」の記事における「多項式階層内のクラス間の関係」の解説定義から、次のような関...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
ナビゲーションに移動検索に移動デジタルリポジトリについては「DSpace」をご覧ください。DSPACE または SPACE は、計算複雑性理論における計算資源のうち空間的リソースを指し、決定性チューリ...
計算複雑性理論において、複雑性クラス EXPSPACE とは、決定性チューリング機械で O(2p(n)) の領域を使って解ける全決定問題の集合である。ここで、p(n) は n の多項式関数である。p(...