「Numbering (computability theory)」を解説文に含む見出し語の検索結果(1~4/4件中)
フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。このようなナンバリングの存在は1958年にリチャード・フリー...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
< 前の結果 | 次の結果 >