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.
Explore la synthèse automatique de la synchronisation correcte et efficace dans les programmes, en mettant l'accent sur la suppression de l'atomicité redondante et l'ajout de métadonnées de synchronisation.
Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.
