Recursively Defined Mapping/Examples

From ProofWiki
Jump to navigation Jump to search

Examples of Recursively Defined Mappings

Factorial

The facorial of a positive integer $n$ can be defined recursively as:

$\map f n = \begin {cases} 0 & : n = 1 \\ n \map f {n - 1} & : n > 1 \end {cases}$