Couvre les opérations et les relations d'équivalence en théorie des nombres, y compris l'addition, la soustraction, la multiplication, la division et les propriétés des éléments neutres et inverses.
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.