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.

Mémoire virtuelle

Couvre les interactions de mémoire virtuelle, de relocalisation de programme, de protection de mémoire, de TLB et de hiérarchie de mémoire.

Introduction: programme de cours

Introduit le programme de cours, le schéma de classement, et les modèles de calcul classique et quantique.

C Backend : Génération de code et ADT

Explore l'adaptation de la génération de code wasm pour C, la gestion de la mémoire, la représentation des ADT et la traduction d'expressions.

Fondements de la mécanique structurelle

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.

Idée d'interprétation abstraite

Couvre l'interprétation abstraite, les points de fixation, les graphiques de flux de contrôle et l'approximation de l'état du programme.