20 lines
464 B
Markdown
20 lines
464 B
Markdown
---
|
|
up:
|
|
tags:
|
|
- s/maths
|
|
- s/informatique
|
|
aliases:
|
|
- fonctions récursives primitives
|
|
---
|
|
|
|
> [!definition] [[fonction récursive primitive]]
|
|
> On définit par [[induction]] l'ensemble des fonctions récursives primitives comme suit :
|
|
> Soit $p \in \mathbb{N}$ on note $\mathscr{F}_{p}$ l'ensemble des applications de $\mathbb{N}^{p} \to \mathbb{N}$ (par convention, $\mathscr{F}_{0}$ ne contient que la suite vide)
|
|
>
|
|
^definition
|
|
|
|
# Propriétés
|
|
|
|
# Exemples
|
|
|