Primitief recursieve functie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Regel 2:
== Definitie ==
Een ''primitief recursieve functie'' is een functie die aan een of meer [[Natuurlijk getal|natuurlijke getallen]] (<math>\N=\{0,1,2,3,\ldots\}</math>) als functiewaarde een natuurlijk getal toevoegt, en
* de constante functie 0, dat wil zeggen de functie die elke <math>n\in\N</math> op 0 afbeeldt, is een primitief recursieve functie;
* de opvolgerfunctie <math>s\colon\N\to\N</math>, gedefinieerd als <math>s(n)=n+1</math>, is een primitief recursieve functie;
| |||