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