User:Dereckson/Notes 2015-08-11: Difference between revisions
From Nasqueron Agora
(Created page with "== 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...") |
(No difference)
|
Revision as of 17:01, 11 August 2015
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".