Notes de cours

Le matériel utilisé ici a été créé par Christine Paulin.

  1. Cadre logique.
  2. Théorie naïve des ensembles. Cours de révisions. À lire pour le 26 janvier.
  3. Graphes.
  4. Récurrence.
  5. Arbres et termes.
  6. 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.

  1. Éléments de logique : sujet pdf, squelette à compléter.
  2. Récurrence : sujet pdf, squelette à compléter.
    Un exemple : le cas des nombres pairs traité en cours : Pair.v.
  3. Définition par clôture : sujet pdf, squelette à compléter.
    Un exemple : le cas des arbres binaires de recherche traité en cours : Abr.v.
  4. Devoir maison, à rendre le mercredi 19 avril : sujet pdf, squelette à compléter, corrigé.
  5. TP noté : sujet pdf, squelette à compléter, corrigé.

Travaux dirigés

  1. Rappels de logique : sujet pdf.
  2. Raisonnement, théorie des ensembles : sujet pdf.
  3. Graphes, coloriages, chemins : sujet pdf.
  4. Graphes, récurrence : sujet pdf.
  5. Définitions par clôture et récurrence : sujet pdf.
  6. Récurrence, mots, arbres : sujet pdf.

Archives

Partiel 2015 : sujet pdf + corrigé.