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.
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
