[HILISIT] MathPInfo - Récurrence et Induction
Aperçu des sections
-
Généralités
-
Objectifs : Appliquer une définition récursive, Donner une définition récursive d'une fonction, Donner une définition inductive d'un ensemble, Effectuer une preuve par induction structurelle