Recursive definition
From Wiki @ Karl Jones dot com
Revision as of 13:44, 20 February 2016 by Karl Jones (Talk | contribs) (Created page with "A '''recursive definition''' (or '''inductive definition''') in mathematical logic and computer science is used to define the elements in a [...")
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
