フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。 このようなナンバリングの存在は1958年にによって0'-優先法を用いて示された(Friedberg, 1958)。は優先法を用いない構成法を与えた(Kummer, 1990)。

Property Value
dbo:abstract
  • フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。 このようなナンバリングの存在は1958年にによって0'-優先法を用いて示された(Friedberg, 1958)。は優先法を用いない構成法を与えた(Kummer, 1990)。 (ja)
  • フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。 このようなナンバリングの存在は1958年にによって0'-優先法を用いて示された(Friedberg, 1958)。は優先法を用いない構成法を与えた(Kummer, 1990)。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3050663 (xsd:integer)
dbo:wikiPageLength
  • 2812 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 54220532 (xsd:integer)
dbo:wikiPageWikiLink
prop-en:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。 このようなナンバリングの存在は1958年にによって0'-優先法を用いて示された(Friedberg, 1958)。は優先法を用いない構成法を与えた(Kummer, 1990)。 (ja)
  • フリードバーグ・ナンバリング(英: Friedberg numbering)は帰納的関数や帰納的可算集合の単射なナンバリング(枚挙)をいう。 このようなナンバリングの存在は1958年にによって0'-優先法を用いて示された(Friedberg, 1958)。は優先法を用いない構成法を与えた(Kummer, 1990)。 (ja)
rdfs:label
  • フリードバーグ・ナンバリング (ja)
  • フリードバーグ・ナンバリング (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of