Math 2.0

Concept

Course-of-values recursion

Summary

In computability theory, course-of-values recursion is a technique for defining number-theoretic functions by recursion. In a definition of a function f by course-of-values recursion, the value of f(n) is computed from the sequence ⟨f(0),f(1),…,f(n−1)⟩\langle f(0),f(1),\ldots,f(n-1)\rangle.

Further reading

  1. Wikipedia, page 3989260, revision 1317129591, Course-of-values recursion. adopted
About this page
TagPZHY7SB06A
URIm2://PZHY7SB06A
Aliasescourse-of-value-recursion
Kindconcept
WritingW1 stated
Same as
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge defines in: at least one definition (0 of 1)
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.