Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.
Couvre l'ensemble d'exercices 3 sur la symétrie et la théorie des groupes, en se concentrant sur les molécules chirales, les groupes ponctuels, la conjugaison et les propriétés des groupes.
Couvre la vérification des équations d'équilibre et de la compatibilité dans les scénarios de tension, assurant une répartition uniforme des contraintes.
