Notes de cours
Le matériel utilisé ici a été créé par Christine Paulin.
- Cadre logique.
- Théorie naïve des ensembles. Cours de révisions. À lire pour le 26 janvier.
- Graphes.
- Récurrence.
- Arbres et termes.
- Relations d'équivalence, relations d'ordre.
Travaux pratiques
Preuves sur ordinateur à l'aide d'un assistant à la démonstration : Coq. Pour démarrer avec Coq, voici un guide d'utilisation.
- Éléments de logique : sujet pdf, squelette à compléter.
- Récurrence :
sujet pdf,
squelette à compléter.
Un exemple : le cas des nombres pairs traité en cours : Pair.v. - Définition par clôture :
sujet pdf,
squelette à compléter.
Un exemple : le cas des arbres binaires de recherche traité en cours : Abr.v. - Devoir maison, à rendre le mercredi 19 avril : sujet pdf, squelette à compléter, corrigé.
- TP noté : sujet pdf, squelette à compléter, corrigé.
Travaux dirigés
- Rappels de logique : sujet pdf.
- Raisonnement, théorie des ensembles : sujet pdf.
- Graphes, coloriages, chemins : sujet pdf.
- Graphes, récurrence : sujet pdf.
- Définitions par clôture et récurrence : sujet pdf.
- Récurrence, mots, arbres : sujet pdf.
Archives
Partiel 2015 : sujet pdf + corrigé.