Travaux dirigés de programmation 2

Pierre Lescane et moi-même sommes chargés des travaux dirigés du cours Programmation 2 assuré par Philippe Audebaud.

Voici la liste des différents sujets:
  1. Systèmes hilbertiens,
  2. Déduction naturelle,
  3. Modèles de Kripke et calcul des prédicats,
  4. Théories mathématiques et Curry-Howard classique (correction),
  5. Calcul des séquents (au tableau),
  6. Encore du calcul des séquents,
  7. Sémantique axiomatique,
  8. Sémantique dénotationnelle,
  9. Sémantique dénotationnelle II,
  10. Tp de Why.