User:Dereckson/Notes 2015-08-11

Définition formelle de la récursivité

Source: rama

La récursion se compose de deux choses :

1. 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)
2. 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++

http://nadeausoftware.com/articles/2012/05/c_c_tip_how_copy_memory_quickly#Method1Loopwitharrayindexes

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