Enseignement 2012/2013

Vous trouverez ici une liste des enseignements que j'ai donnés en 2012/2013, avec le matériel associé. Il s'agit d'une copie brutale: signalez-moi si quelquechose manque ou ne fonctionne pas. Retour vers ma page d'accueil.

Proof theory in Iasi

Lecture notes available here.

Logique et Calculabilité 2

TD 1, 2, 3, 4 (corrigé exo 4) pour le cours de H. Comon.

Logique et Lambda Calcul

TD 1, 2, 3, 4, 5, 6, 7, 8 et DM (corrigé) pour le cours de J. Goubault.

Programmation 2

Travaux pratiques pour le cours de G. Castagna.

Logique et Calculabilité 1

TD 1 2 3 4 5 6 7 8 9 10 11 12 13 pour le cours de H. Comon.

À propos du LSV