「帰納的関数」を解説文に含む見出し語の検索結果(1～10/111件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/01/07 02:51 UTC 版)「ライス＝シャピロの定理」の記事における「ライスの定理の導出」の解説ライス＝シャピロの定...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/07 19:04 UTC 版)「ELEMENTARY」の記事における「定義と例」の解説初等帰納的関数の定義は原始帰納を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/01/07 02:51 UTC 版)「ライス＝シャピロの定理」の記事における「形式的な言明」の解説いま A を（1変数）部分...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/03/07 19:04 UTC 版)「ELEMENTARY」の記事における「低初等帰納的関数」の解説限定積を用いずに定義でき...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2020/10/03 01:23 UTC 版)「クリーネの再帰定理」の記事における「第一再帰定理」の解説第一再帰定理は帰納的な枚挙作用...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
原始帰納的算術（げんしきのうてきさんじゅつ、英: primitive recursive arithmetic）またはPRAは自然数の理論の量化子なしの形式化である。これはトアルフ・スコーレム...
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
フリードバーグ・ナンバリング（英: Friedberg numbering）は帰納的関数や帰納的可算集合の単射なナンバリング（枚挙）をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
< 前の結果 | 次の結果 >