Explore l'isomorphisme de Kerry Howard, traduisant des propositions logiques en types et en termes, en mettant l'accent sur la preuve par induction et la préparation à l'examen.
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.
Introduit des principes et des applications d'induction mathématique, y compris les inégalités, la divisibilité, les sous-ensembles et l'induction forte.
