User:Dereckson/Notes 2015-08-11
From Nasqueron Agora
Définition formelle de la récursivité
Source: rama
La récursion se compose de deux choses :
- une façon de passer de l'étape N à l'étape N+1 (en fonction de l'étapge N, voire d'autres étapes antérieures)
- un ancrage (i.e. la première occurrence)
la démonstration par récurrence se résume ainsi à "je prouve que si $PROPERTY est vraie pour x_(n), elle est vrai pour n_(n+1), ET j'exhibe un cas x_0 pour lequel c'est vrai ; c'est donc vrai pour tout x_n avec n entre 0 et l'infini".
