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