Introduit l'induction structurelle, une méthode pour prouver les propriétés des éléments dans des ensembles définis récursivement.
Couvre l'induction mathématique, les fonctions définies récursivement et les algorithmes itératifs pour la résolution de problèmes.
Couvre des sujets liés à l'induction et à la récursion, y compris les épreuves d'induction mathématiques et les définitions récursives.
Couvre les lois de la concaténation des listes, de la preuve par induction, de la transparence référentielle et de l'induction structurelle.
Explore les relations de récurrence linéaires, y compris des exemples comme les nombres de Fibonacci et la preuve de théorèmes liés.
