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.
Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.
