「ライスの定理」を解説文に含む見出し語の検索結果(1～10/59件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/01/07 02:51 UTC 版)「ライス＝シャピロの定理」の記事における「ライスの定理の導出」の解説ライス＝シャピロの定...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 18:36 UTC 版)「ライスの定理」の記事における「停止性問題の決定不能性定理との関係」の解説ライスの定理は...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 18:36 UTC 版)「ライスの定理」の記事における「ライスの定理に類する結果」の解説ライスの定理は、帰納的可...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 18:36 UTC 版)「ライスの定理」の記事における「ライスの定理の証明」の解説ライスの定理を停止性問題の決定...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/24 05:44 UTC 版)「再帰理論」の記事における「ライスの定理と算術的階層」の解説ライスの定理は、すべての自明...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 18:36 UTC 版)「ライスの定理」の記事における「ライスの定理の厳密な記述」の解説P ( 1 ) {\di...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/06/29 18:36 UTC 版)「ライスの定理」の記事における「直観的説明」の解説Aが関数fを計算するプログラムであると...
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定す...
ライスの定理（ライスのていり、英: Rice's theorem）は、計算機科学における計算可能関数の理論に関する定理で、定められた性質Fを満たすかどうかを任意の部分計算可能関数について判定す...
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
< 前の結果 | 次の結果 >