DS d'informatique
DS1
Algorithme pour la sélection (Centrale 2001)
Énoncé
Corrigé
Barème
DS2
La chasse aux fantômes - Logique de Presburger (Centrale 2009)
Énoncé
Corrigé
Barème
DS2 X
Logique temporelle (X-ENS 2013)
Énoncé
Corrigé
Barème