Travaux dirigés du cours fondamental 2,
partie théorie de la démonstration.

Les séances, 5 au total, ont lieu le vendredi matin en salle 1005, en alternance avec celles consacrées à la calculabilité, au théorème de Gödel et à la complexité, suivant la même alternance que les cours.

Les deux premières séances ont lieu 19 et le 26 septembre.

• Fiche d'exercices de la première séance (déduction naturelle, complétude).
• Fiche d'exercices de la seconde séance (déduction naturelle, preuves normales, ...).
• prochaine séance le 24 octobre.
• Fiche d'exercices de la troisième séance (calcul des séquents, ...).

(dernière modification le vendredi 24/10/2014, 17:54:02 CEST)