* [L1] Introduction à la programmation fonctionnelle
* [M1] Calculabilité et Complexité
* [M1] Architecture et circuits