Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
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 les bases de la mécanique structurale, y compris le traitement des barres comme ressorts, en utilisant la méthode des sections pour analyser les structures complexes, et en explorant la concentration de stress et le principe Sambhanans.
