Category:Recursive Definitions

From ProofWiki
Jump to: navigation, search

This category contains results about Recursive Definitions.
Definitions specific to this category can be found in Definitions/Recursive Definitions.


Let $p \in \N$ be a natural number.

Let $S = \set {x \in \N: p \le x}$.


Let $T$ be a set.

Let $g: T \to T$ be a mapping.

Let $f: S \to T$ be the mapping defined as:

$\forall x \in S: \map f x = \begin{cases} a & : x = p \\ \map g {\map f n} & : x = n + 1 \end{cases}$

for $a \in T$.


Then $f$ is said to be recursively defined on $S$.

Subcategories

This category has only the following subcategory.

Pages in category "Recursive Definitions"

This category contains only the following page.