This HTML5 document contains 43 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n17http://g.co/kg/m/
n19http://matwbn.icm.edu.pl/ksiazki/rm/rm04/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n6http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n11http://ma-graph.org/entity/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
n21http://citeseer.ist.psu.edu/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Hiérarchie_de_Grzegorczyk
rdfs:label
グジェゴルチク階層 Grzegorczyk hierarchy Hierarquia de Grzegorczyk Jerarquia de Grzegorczyk Hiérarchie de Grzegorczyk
rdfs:comment
La hiérarchie de Grzegorczyk – du nom du logicien polonais Andrzej Grzegorczyk – est une hiérarchie de fonctions utilisée en théorie de la calculabilité. Toutes les fonctions de la hiérarchie de Grzegorczyk sont primitives récursives et toute fonction primitive récursive apparait dans cette hiérarchie. Cette hiérarchie classe les fonctions selon leur croissance. Intuitivement, les fonctions d'un niveau croissent moins vite que les fonctions des niveaux supérieurs.
owl:sameAs
wikidata:Q5612503 n11:80838124 dbpedia-ca:Jerarquia_de_Grzegorczyk dbpedia-pt:Hierarquia_de_Grzegorczyk n17:03d0vsw dbr:Grzegorczyk_hierarchy dbpedia-ja:グジェゴルチク階層
dbo:wikiPageID
8557784
dbo:wikiPageRevisionID
186584212
dbo:wikiPageWikiLink
dbpedia-fr:ELEMENTARY_(complexité) dbpedia-fr:Partition_d'un_ensemble dbpedia-fr:Fonction_successeur category-fr:Calculabilité dbpedia-fr:Fonction_récursive_primitive dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Andrzej_Grzegorczyk dbpedia-fr:Hiérarchie_de_croissance_rapide dbpedia-fr:Nombre_ordinal dbpedia-fr:Nombre_transfini dbpedia-fr:Martin_Hugo_Löb dbpedia-fr:Hyperopération dbpedia-fr:Fonction_de_Veblen dbpedia-fr:Tétration dbpedia-fr:Fonction_(mathématiques)
dbo:wikiPageExternalLink
n19:rm0401.pdf n21:gakwaya97survey.html
dbo:wikiPageLength
6634
dct:subject
category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate
n6:ISBN n6:Reflist n6:Portail n6:Voir_homonymes n6:Article_détaillé n6:P.
prov:wasDerivedFrom
wikipedia-fr:Hiérarchie_de_Grzegorczyk?oldid=186584212&ns=0
foaf:isPrimaryTopicOf
wikipedia-fr:Hiérarchie_de_Grzegorczyk
dbo:abstract
La hiérarchie de Grzegorczyk – du nom du logicien polonais Andrzej Grzegorczyk – est une hiérarchie de fonctions utilisée en théorie de la calculabilité. Toutes les fonctions de la hiérarchie de Grzegorczyk sont primitives récursives et toute fonction primitive récursive apparait dans cette hiérarchie. Cette hiérarchie classe les fonctions selon leur croissance. Intuitivement, les fonctions d'un niveau croissent moins vite que les fonctions des niveaux supérieurs.