Introduit des fonctions définies récursivement et démontre comment calculer des valeurs et prouver des propriétés en utilisant l'induction mathématique.
Explore l'efficacité de la table de hachage, les fonctions totales dans la modélisation de code et les relations bien fondées pour la terminaison des fonctions récursives.
