About: Grzegorczyk hierarchy

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Grzegorczyk hierarchy Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Grzegorczyk hierarchy (en) Hierarquia de Grzegorczyk (pt) Hiérarchie de Grzegorczyk (fr) Jerarquia de Grzegorczyk (ca) グジェゴルチク階層 (ja)
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. (fr)
sameAs	Grzegorczyk hierarchy Grzegorczyk hierarchy Grzegorczyk hierarchy Grzegorczyk hierarchy Grzegorczyk hierarchy Grzegorczyk hierarchy Grzegorczyk hierarchy
Wikipage page ID	8557784 (xsd:integer)
Wikipage revision ID	186584212 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Andrzej_Grzegorczyk category-fr:Calculabilité ELEMENTARY Function (mathematics) Veblen function Primitive recursive function Successor function Fast-growing hierarchy Hyperoperation dbpedia-fr:Nombre_ordinal dbpedia-fr:Nombre_transfini Partition of a set dbpedia-fr:Théorie_de_la_calculabilité Tetration Martin Löb
Link from a Wikipage to an external page	http://citeseer.ist.psu.edu/gakwaya97survey.html http://matwbn.icm.edu.pl/ksiazki/rm/rm04/rm0401.pdf
page length (characters) of wiki page	6634 (xsd:nonNegativeInteger)
dct:subject	category-fr:Calculabilité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:ISBN dbpedia-fr:Modèle:P. dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Reflist dbpedia-fr:Modèle:Voir_homonymes
prov:wasDerivedFrom	wikipedia-fr:Hiérarchie_de_Grzegorczyk?oldid=186584212&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Hiérarchie_de_Grzegorczyk
has 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. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Andrzej_Grzegorczyk ELEMENTARY dbpedia-fr:Grzegorczyk Fast-growing hierarchy dbpedia-fr:Théorie_de_la_complexité_(informatique_théorique)
is Wikipage disambiguates of	dbpedia-fr:Grzegorczyk
is oa:hasTarget of	Pt labels Ca labels Ja labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Hiérarchie_de_Grzegorczyk

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 15 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software