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:
- Systèmes hilbertiens,
- Déduction naturelle,
- Modèles de Kripke et calcul des prédicats,
- Théories mathématiques et Curry-Howard classique
(correction),
- Calcul des séquents (au tableau),
- Encore du calcul des séquents,
- Sémantique axiomatique,
- Sémantique dénotationnelle,
- Sémantique dénotationnelle II,
- Tp de Why.