「非形式的な言明」を解説文に含む見出し語の検索結果(1~3/3件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/01/07 02:51 UTC 版)「ライス=シャピロの定理」の記事における「非形式的な言明」の解説定理の主張は非形式的には...
計算可能性理論において、ライス=シャピロの定理(英: Rice-Shapiro theorem)とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
計算可能性理論において、ライス=シャピロの定理(英: Rice-Shapiro theorem)とはライスの定理の一般化した定理である。名称は Henry Gordon Rice と Norm...
< 前の結果 | 次の結果 >