Outils Formels pour l'Informatique

Feuilles de Travaux Dirigés




 
 

TD1:  Ensembles, graphes et arbres

TD2:  Relations et logique

TD3:  Récurrences

TD4:  Induction

TD5:  Dénombrement

TD6:  Algorithmes et récurrence

TD7:  Résolution d'équations de récurrences

TD8:  Langages formels et automates finis

TD9:  Complexité et révisions

Contrôle continu du 11 décembre 1998 et sa correction