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.
Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.
