Sessions de rattrapage septembre 2010

Autres brèves

• Novembre 2010 – Sémantique formelle M1 — Sujet du 1er devoir
• Octobre 2010 – Sémantique formelle M1 — Nouvelles versions des chapitres du manuel
• Octobre 2010 – Sémantique Formelle M1 — Lecture pour le 20 octobre
• Septembre 2010 – Corrigé de l’examen d’Intro à la sémantique.
• Septembre 2010 – Corrigé de l’examen de logique
• Septembre 2010 – Sessions de rattrapage septembre 2010