User:Dereckson/Notes 2015-08-11
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".
Approche intuitive de la récursivité
La récursivité est une fonction qui s'appelle elle-même.
Si tu as un Android, l'application AirDroid permet de prendre une photo, en l'afficher la caméra sur l'écran. Photographie l'écran qui affiche la photographie et tu obtiendras quelque chose comme ceci :
Copier un tableau en C++
Exercices
Refaire la factorielle, findmin
Calculer par récursivité la somme des nombres d'un tableau
int findsum (int numbers[], int size)
e.g. findsum([1, 4, 7, 26], 4)
Déterminer si un chaîne de caractères est ou non un palindrome.
bool isPalindrome (char word[], int len);
e.g. isPalindrome ("kayak", 5) -> true
Pour aller plus loin
- Les articles de Wikipédia qui couvre le sujet :
