Introduit le Cours Spécial Mathématiques à l'EPFL, soulignant son rôle de pont vers les études de Bachelor et l'importance des mathématiques en ingénierie.
Couvre la gestion des erreurs, les exceptions et les techniques de débogage en C++, soulignant l'importance de rendre le code plus robuste et plus facile à déboger.
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
