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 la structure de l'anneau, en se concentrant sur les polynômes et les coefficients, y compris l'associativité, la distributivité et le produit des anneaux.
