raisonnement par récurrence
- Domaines
-
- informatique
- mathématiques
Définition :
Méthode de démonstration, selon laquelle on montre qu'une propriété est vraie dans un cas de rang N, ensuite que, si elle est vraie pour un cas quelconque de rang égal ou supérieur à N, elle est vraie pour le cas suivant, et que, par conséquent, elle est vraie dans tous les cas de rang égal ou supérieur à N.
Terme :
- raisonnement par récurrence n. m.
Traductions
-
anglais
Auteur : Association française de normalisation,Terme :
- mathematical induction