Logiques et Preuves (Site en construction)



Polycopié

poly provisoire (version du 10/10/2017)

Feuilles d'exercices

  1. Logique minimale Version du 15/09
  2. Solution de la première feuille
  3. Logique propositionnelle
  4. Logique du premier ordre (calcul des prédicats) Nouvelle version

Archives : sujets d'examen

  1. Première session 2016-2017
  2. Seconde session 2016-2017

Séances sur machine

  1. TP1 Un premier fichier pour Coq
  2. TP2 : Logique propositionnelle
  3. TP3: Logique du premier ordre
  4. Le Coq'Art
  5. Le site de Coq