About: Course-of-values recursion

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique for defining number-theoretic functions by recursion

Property	Value
dbo:description	technique for defining number-theoretic functions by recursion (en)
dbo:wikiPageWikiLink	dbr:Primitive_recursive_function dbc:Computability_theory dbr:Arity dbr:Computability_theory dbr:Gödel_numbering_for_sequences dbc:Recursion dbr:Recursion_(computer_science) dbr:Ackermann's_function dbr:Fibonacci_number dbr:Number-theoretic_function dbr:Primitive_recursive dbr:Gödel's_encoding
dbp:wikiPageUsesTemplate	dbt:Math dbt:= dbt:No_footnotes dbt:Mathematical_logic dbt:Short_description
dct:subject	dbc:Computability_theory dbc:Recursion
rdfs:label	Course-of-values recursion (en)
owl:sameAs	freebase:Course-of-values recursion wikidata:Course-of-values recursion dbpedia-global:Course-of-values recursion
prov:wasDerivedFrom	wikipedia-en:Course-of-values_recursion?oldid=1216716670&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Course-of-values_recursion
is dbo:wikiPageRedirects of	dbr:Course-of-value_recursion dbr:Course_of_values_recursion
is dbo:wikiPageWikiLink of	dbr:Primitive_recursive_function dbr:Tail_call dbr:Recursion dbr:Arithmetical_hierarchy dbr:Well-founded_relation dbr:Mutual_recursion dbr:Gödel_numbering dbr:Course-of-value_recursion dbr:Course_of_values_recursion
is foaf:primaryTopic of	wikipedia-en:Course-of-values_recursion

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International