Home

Notes de cours

• Slides du cours n°1
• Notes du cours n°2 [erratum du 3/02: la figure 2 contenait une erreur (dans la règle concernant les lambda-abstractions) qui est désormais corrigée]

Fiches de TD

La difficulté des exercices est notée de 1 à 3 étoiles. Les exercices à 3 étoiles représentent un défi supérieur à ce qui est normalement attendu dans ce cours: pas d'inquiétude si vous ne trouvez pas la solution.

• TD1
• TD2

TP

Le code des TP est disponible sur ce dépôt Git. Consultez le fichier README pour bien démarrer.

Mini-projets

Infos à venir