Slides et résumés

De Wiki du Gdt Logique

Sommaire

Transparents et résumés des exposés


Archéologie

Saison 2011-2012

  • Notes de l'exposé introductif, partie II (Maël). PDF
  • Notes de l'exposé introductif, partie III (Anne-Sophie). PDF , tex
  • Notes de l'exposé "déduction naturelle et calcul des séquents" (Marc)
  • Fiche récapitulative des systèmes logiques (Baptiste). PDF , tex
  • LL et LK en calcul des séquents, version adaptée à l'exposé. (Marc) tex_ll, tex_lk


Saison 2010-2011

  • Notes de l'exposé sur la logique linéaire (Marc) ici
  • Slides de l'exposé sémantique de Christine. ici
  • Slides de l'exposé Réalisabilité classique I (Aloïs). ici


Saison 2009-2010

  • Transparents de l'exposé de Marc et Nathanaël : L'isomorphisme de Curry-Howard (sur un exemple)
  • Slides de l'exposé d'Anne-Sophie.
  • Notes de Marc pour la première partie de l'exposé sur la GdI.
Outils personnels