Logique linéaire et paradigmes logiques du calcul 2006-2007 ( MPRI )



Enseignants: Roberto Di Cosmo, Dale Miller (responsables), Delia Kesner, Patrick Baillot.

Plan du cours.

Logique linéaire et complexité , transparents de P. Baillot:

  • Séance du 29/11/2006: transparents.
  • Séance du 6/12/2006: transparents.
  • Séance du 13/12/2006: transparents.
    Ensemble des transparents.

    Sujets d'exercices
  • exercices ( .pdf) de l'examen de février 2006.
  • un exercice ( .pdf) (sur les réseaux de preuves et SLL; extrait de l'examen du cours de Théorie de la démonstration , avec O. Laurent, DEA de Logique de Paris 7, avril 2004).
  • un exercice avec correction ( .pdf) (sur le typage en LAL).