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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-cahttp://ca.dbpedia.org/resource/
n17https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
n14http://matwbn.icm.edu.pl/ksiazki/rm/rm04/
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-pthttp://pt.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:Primitive_recursive_function
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Hyperoperation
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Timeline_of_Polish_science_and_technology
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Constructive_set_theory
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Ordinal_analysis
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Andrzej_Grzegorczyk
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
dbp:knownFor
dbr:Grzegorczyk_hierarchy
dbo:knownFor
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Simply_typed_lambda_calculus
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Hardy_hierarchy
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Successor_function
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:ELEMENTARY
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Fast-growing_hierarchy
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Szemerédi_regularity_lemma
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
dbr:Grzegorczyk_hierarchy
rdf:type
dbo:Software
rdfs:label
Jerarquia de Grzegorczyk グジェゴルチク階層 Hierarquia de Grzegorczyk Grzegorczyk hierarchy Hiérarchie de Grzegorczyk
rdfs:comment
En teoria de la complexitat, la Jerarquia de Grzegorczyk és una jerarquia de funcions. Cada funció en aquesta jerarquia és una funció recursiva primitiva i tota funció recursiva primitiva apareix a algun nivell d'aquesta aquesta jerarquia. La jerarquia classifica segons el ritme amb que creix cada funció, intuïtivament, les funcions dels nivells més baixos creixen més lentament que les funcions dels nivells més alts. グジェゴルチク階層（ぐじぇごるちくかいそう、英: Grzegorczyk hierarchy、発音：[ɡʐɛˈɡɔrt͡ʂɨk]）は計算可能性理論に基づく関数の階層である。（Wagner and Wechsung 1986:43）。名称はポーランドの論理学者に因む。グジェゴルチク階層に属す任意の関数は原始帰納的関数であり、逆に任意の原始帰納的関数はこの階層のあるレベルに現れる。この階層は関数値の増大の度合いを扱う。直観的にいえば、低い階層の関数はより高い階層の関数よりも緩やかに増加する。 A hierarquia de Grzegorczyk (pronúncia: ), denominação em referência ao lógico polaco , é uma hierarquia de funções usadas em teoria da computação (Wagner and Wechsung 1986:43). Toda função na hierarquia de Grzegorczyk é uma função recursiva primitiva, e toda função recursiva primitiva aparece na hierarquia em algum nível. A hierarquia lida com taxas de funções crescentes. Intuitivamente, funções em níveis baixos da hierarquia crescem mais devagar que funções em níveis mais altos. 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. The Grzegorczyk hierarchy (/ɡrɛˈɡɔːrtʃək/, Polish pronunciation: [ɡʐɛˈɡɔrt͡ʂɨk]), named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of functions used in computability theory. Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every primitive recursive function appears in the hierarchy at some level. The hierarchy deals with the rate at which the values of the functions grow; intuitively, functions in lower levels of the hierarchy grow slower than functions in the higher levels.
dcterms:subject
dbc:Computability_theory dbc:Hierarchy_of_functions
dbo:wikiPageID
14334415
dbo:wikiPageRevisionID
1121156712
dbo:wikiPageWikiLink
dbr:Tetration dbr:Kleene_normal_form_theorem dbr:Journal_of_Symbolic_Logic dbc:Computability_theory dbr:Löb–Wainer_hierarchy dbr:Hyper_operation dbr:Successor_function dbr:Transfinite_number dbr:Ordinal_analysis dbr:Partition_of_a_set dbr:Function_(mathematics) dbr:Computability_theory dbr:Iterated_function dbr:Natural_number dbr:Function_composition dbr:Ordinal_number dbr:Martin_Löb dbc:Hierarchy_of_functions dbr:Oxford_University_Press dbr:Andrzej_Grzegorczyk dbr:Projection_function dbr:Epsilon_numbers_(mathematics) dbr:Primitive_recursive_function dbr:Limit_ordinal dbr:Fast-growing_hierarchy dbr:ELEMENTARY dbr:Stan_S._Wainer dbr:Closure_(mathematics)
dbo:wikiPageExternalLink
n14:rm0401.pdf
owl:sameAs
dbpedia-fr:Hiérarchie_de_Grzegorczyk freebase:m.03d0vsw dbpedia-ja:グジェゴルチク階層 n17:4kiwt wikidata:Q5612503 dbpedia-pt:Hierarquia_de_Grzegorczyk dbpedia-ca:Jerarquia_de_Grzegorczyk
dbp:wikiPageUsesTemplate
dbt:Cite_document dbt:Cite_book dbt:IPAc-en dbt:Short_description dbt:Large_numbers dbt:Harvtxt dbt:Cite_journal dbt:Sfn dbt:Reflist dbt:ComplexityClasses dbt:IPA-pl dbt:Sans-serif dbt:Main dbt:Hyperoperations
dbo:abstract
En teoria de la complexitat, la Jerarquia de Grzegorczyk és una jerarquia de funcions. Cada funció en aquesta jerarquia és una funció recursiva primitiva i tota funció recursiva primitiva apareix a algun nivell d'aquesta aquesta jerarquia. La jerarquia classifica segons el ritme amb que creix cada funció, intuïtivament, les funcions dels nivells més baixos creixen més lentament que les funcions dels nivells més alts. グジェゴルチク階層（ぐじぇごるちくかいそう、英: Grzegorczyk hierarchy、発音：[ɡʐɛˈɡɔrt͡ʂɨk]）は計算可能性理論に基づく関数の階層である。（Wagner and Wechsung 1986:43）。名称はポーランドの論理学者に因む。グジェゴルチク階層に属す任意の関数は原始帰納的関数であり、逆に任意の原始帰納的関数はこの階層のあるレベルに現れる。この階層は関数値の増大の度合いを扱う。直観的にいえば、低い階層の関数はより高い階層の関数よりも緩やかに増加する。 The Grzegorczyk hierarchy (/ɡrɛˈɡɔːrtʃək/, Polish pronunciation: [ɡʐɛˈɡɔrt͡ʂɨk]), named after the Polish logician Andrzej Grzegorczyk, is a hierarchy of functions used in computability theory. Every function in the Grzegorczyk hierarchy is a primitive recursive function, and every primitive recursive function appears in the hierarchy at some level. The hierarchy deals with the rate at which the values of the functions grow; intuitively, functions in lower levels of the hierarchy grow slower than functions in the higher levels. A hierarquia de Grzegorczyk (pronúncia: ), denominação em referência ao lógico polaco , é uma hierarquia de funções usadas em teoria da computação (Wagner and Wechsung 1986:43). Toda função na hierarquia de Grzegorczyk é uma função recursiva primitiva, e toda função recursiva primitiva aparece na hierarquia em algum nível. A hierarquia lida com taxas de funções crescentes. Intuitivamente, funções em níveis baixos da hierarquia crescem mais devagar que funções em níveis mais altos. 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.
gold:hypernym
dbr:Hierarchy
prov:wasDerivedFrom
wikipedia-en:Grzegorczyk_hierarchy?oldid=1121156712&ns=0
dbo:wikiPageLength
8953
foaf:isPrimaryTopicOf
wikipedia-en:Grzegorczyk_hierarchy
Subject Item
dbr:Van_der_Waerden_number
dbo:wikiPageWikiLink
dbr:Grzegorczyk_hierarchy
Subject Item
wikipedia-en:Grzegorczyk_hierarchy
foaf:primaryTopic
dbr:Grzegorczyk_hierarchy