http://dbpedia.org/ontology/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 .
, Опера́ція приміти́вної реку́рсії — двомісна операція, широко вживана в теорії рекурсивних функцій. Пара рекурсивних функцій: перша функція від змінних , а інша функція від змінних , утворює функцію від змінних за такою схемою:
|
http://dbpedia.org/ontology/wikiPageID
|
43339179
|
http://dbpedia.org/ontology/wikiPageLength
|
2843
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
972979838
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Ordinal_number +
, http://dbpedia.org/resource/Function_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Recursion +
, http://dbpedia.org/resource/Natural_number +
, http://dbpedia.org/resource/Category:Functions_and_mappings +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Primitive_recursive_function +
, http://dbpedia.org/resource/Axiom_of_adjunction +
, http://dbpedia.org/resource/Set_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Successor_ordinal +
, http://dbpedia.org/resource/Class_%28set_theory%29 +
, http://dbpedia.org/resource/Element_%28mathematics%29 +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Category:Ordinal_numbers +
, http://dbpedia.org/resource/Infinite_set +
, http://dbpedia.org/resource/Mathematics +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Space +
, http://dbpedia.org/resource/Template:Citation +
, http://dbpedia.org/resource/Template:Harvtxt +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Functions_and_mappings +
, http://dbpedia.org/resource/Category:Recursion +
, http://dbpedia.org/resource/Category:Theory_of_computation +
, http://dbpedia.org/resource/Category:Computability_theory +
, http://dbpedia.org/resource/Category:Set_theory +
, http://dbpedia.org/resource/Category:Ordinal_numbers +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Analogs +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Primitive_recursive_set_function?oldid=972979838&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Primitive_recursive_set_function +
|
owl:sameAs |
http://yago-knowledge.org/resource/Primitive_recursive_set_function +
, http://rdf.freebase.com/ns/m.011c7vxd +
, http://www.wikidata.org/entity/Q18344565 +
, http://dbpedia.org/resource/Primitive_recursive_set_function +
, http://uk.dbpedia.org/resource/%D0%9E%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D1%96%D1%8F_%D0%BF%D1%80%D0%B8%D0%BC%D1%96%D1%82%D0%B8%D0%B2%D0%BD%D0%BE%D1%97_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D1%96%D1%97 +
, https://global.dbpedia.org/id/mhfg +
|
rdf:type |
http://dbpedia.org/ontology/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 .
|
rdfs:label |
Primitive recursive set function
, Операція примітивної рекурсії
|