Enseignement

Enseignement (2007-08)

• L1 - Programmation récursive: le site
• L1 - De la puce au ouaibe: le site
• M1 - Logique/Calculabilité: Notes de cours | Partiel | Examen 1ière session | Examen 2ième session
• M2 - Conception de langages: brèves notes de cours | corrigé
• M2 - TP Test: Énoncé | Fichiers objets Linux(Fedora) -- Windows(cygwin) -- MacOS X (archives .tgz) | alcotest (archives .tgz)