suivant : 3.2 Sous-programmes récursifs terminaux
remonter : 3.1.1 Factorielle
précédent : Exercice 1 - Opérations
Considérons la fonction suivante :
- Que fait cette fonction ?
- Prouvez par récurrence votre conjecture de la question précédente.
- Écrire une fonction récursive
sur le même
modèle que
retournant
. Vous utiliserez la
fonction
qui retourne
.
- Prouvez la validité de
.
Alexandre
2009-07-20