Produit cartésienCouvre le concept du produit cartésien, mettant l'accent sur l'ordre des éléments en paires.
Integers: Concepts élémentairesCouvre les concepts fondamentaux liés aux entiers, y compris les propriétés des ensembles bien ordonnés et le principe d'induction.
Analyse de l'ARVCouvre l'analyse de l'ARV, en se concentrant sur la minimisation des distances entre les points dans les cutis vis.
Opérations de séquences communesCouvre les opérations courantes sur des séquences comme les listes et les tuples, y compris le découpage, l'extension et le remplacement d'éléments.