Techniques logiques et de preuveCouvre les entiers, les rationnels, la logique, les techniques de preuve, les fonctions et les relations à l'aide d'exemples et de tables de vérité.
Théorèmes inverses locauxCouvre le théorème inverse local, les difféomorphismes, les cartes de contraction, et le déterminant jacobin.
Homotopie : DegréCouvre le concept de degré dans la théorie de l'homotopie et la structure des complexes avec deux simplices.
Algèbre linéaire: CMSCouvre les concepts d'algèbre linéaire en mettant l'accent sur les fonctions et leurs propriétés.
