Introduit des concepts de théorie de groupe, des propriétés et des exemples, y compris des fonctions injectables et des propriétés de groupe comme l'associativité et les inverses.
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.
Introduit les concepts de base des applications linéaires, y compris les fonctions injectables, surjectives et bijectives, ainsi que la composition des fonctions.