| dbo:abstract |
In mathematics, primitive recursive set functions or primitive recursive ordinal functions are analogs of primitive recursive functions, defined for sets or ordinals rather than natural numbers. They were introduced by . (en) Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від змінних , а інша функція від змінних , утворює функцію від змінних за такою схемою: (uk) |
| dbo:wikiPageID |
43339179 (xsd:integer) |
| dbo:wikiPageLength |
2843 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
972979838 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Primitive_recursive_function dbr:Element_(mathematics) dbc:Recursion dbr:Infinite_set dbr:Mathematics dbr:Class_(set_theory) dbr:Function_(mathematics) dbr:Successor_ordinal dbc:Set_theory dbc:Functions_and_mappings dbc:Computability_theory dbc:Ordinal_numbers dbc:Theory_of_computation dbr:Axiom_of_adjunction dbr:Natural_number dbr:Ordinal_number dbr:Set_(mathematics) |
| dbp:wikiPageUsesTemplate |
dbt:Citation dbt:Harvtxt dbt:Space |
| dct:subject |
dbc:Recursion dbc:Set_theory dbc:Functions_and_mappings dbc:Computability_theory dbc:Ordinal_numbers dbc:Theory_of_computation |
| gold:hypernym |
dbr:Analogs |
| rdf:type |
dbo:ChemicalSubstance |
| rdfs:comment |
In mathematics, primitive recursive set functions or primitive recursive ordinal functions are analogs of primitive recursive functions, defined for sets or ordinals rather than natural numbers. They were introduced by . (en) Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від змінних , а інша функція від змінних , утворює функцію від змінних за такою схемою: (uk) |
| rdfs:label |
Primitive recursive set function (en) Операція примітивної рекурсії (uk) |
| owl:sameAs |
freebase:Primitive recursive set function yago-res:Primitive recursive set function wikidata:Primitive recursive set function dbpedia-uk:Primitive recursive set function https://global.dbpedia.org/id/mhfg |
| prov:wasDerivedFrom |
wikipedia-en:Primitive_recursive_set_function?oldid=972979838&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Primitive_recursive_set_function |
| is dbo:wikiPageRedirects of |
dbr:Primitive_recursive_ordinal_function |
| is dbo:wikiPageWikiLink of |
dbr:Primitive_recursive_function dbr:Axiom_of_adjunction dbr:Primitive_recursive_ordinal_function |
| is foaf:primaryTopic of |
wikipedia-en:Primitive_recursive_set_function |