「帰納的可算集合」を解説文に含む見出し語の検索結果(1～10/320件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「帰納的可算集合」の記事における「形式的定義」の解説自然数の集合 S について、定義域が...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「帰納的可算集合の束(lattice)」の解説ポストは単純集合...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/05/20 07:32 UTC 版)「多対一還元」の記事における「多対一完全性（m-完全性）」の解説帰納的可算集合 B が存...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/23 10:02 UTC 版)「帰納的可算集合」の記事における「等価な定式化」の解説以下は、自然数の集合 S について...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
帰納的可算集合（きのうてきかさんしゅうごう、英: Recursively enumerable set）は、計算理論または再帰理論におけるある種の集合に付与された名前。自然数の集合 S につい...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「相対計算可能性とチューリング次数」の解説詳細は「チューリング...
< 前の結果 | 次の結果 >