Difference between revisions of "Recursive definition"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→External links) |
Karl Jones (Talk | contribs) (→External links) |
||
| Line 21: | Line 21: | ||
[[Category:Computer science]] | [[Category:Computer science]] | ||
| + | [[Category:Mathematics]] | ||
[[Category:Recursion]] | [[Category:Recursion]] | ||
Latest revision as of 20:32, 25 April 2016
A recursive definition (or inductive definition) in mathematical logic and computer science is used to define the elements in a set in terms of other elements in the set.
Description
A recursive definition of a function defines values of the functions for some inputs in terms of the values of the same function for other inputs.
See also
- Computer science
- Mathematical induction
- Mathematical logic
- Mathematics
- Recursion
- Recursive data type
- Set theory
External links
- Recursive definition @ Wikipedia
