「チューリングジャンプ」を解説文に含む見出し語の検索結果(1～10/17件中)
チューリングジャンプ（Turing jump または Turing jump operator）とは計算可能性理論における操作の一つ。名称はアラン・チューリングやチューリングマシンに因む。直感的に言え...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
ポストの定理（英: Post's theorem）は、計算可能性理論における定理で、算術的階層とチューリング次数の関係を表している。名称はエミール・ポストに因んでいる。背景ポストの定理は定義可能性と再...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 07:07 UTC 版)「チューリング還元」の記事における「より強い還元」の解説チャーチ＝チューリングのテーゼに...
チューリング還元（チューリングかんげん、英: Turing reduction）は、計算複雑性理論における還元の一種である。アラン・チューリングの名がつけられた還元であり、問題 A が問題 B...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/01 10:09 UTC 版)「ポストの定理」の記事における「ポストの定理とその系」の解説ポストの定理は、算術的階層と...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
数学においてある自然数の集合がK自明集合（Kじめいしゅうごう、英: K-trivial set）であるとは、 その始切片（英語: initial segment）を2進文字列と見た時に記述しやすいこと...
数学においてある自然数の集合がK自明集合（Kじめいしゅうごう、英: K-trivial set）であるとは、 その始切片（英語: initial segment）を2進文字列と見た時に記述しやすいこと...
< 前の結果 | 次の結果 >