Sujets

De Wiki du Gdt Logique

Saison 2015-2016

Séance Sujet Qui ? Références
Exposés introductifs
1 (15/10) Séance de rentrée : Introduction à la théorie de la démonstration Kenji
2 (22/10) Introduction à la logique linéaire et aux réseaux de preuves Amina
3 (29/10) Le nec plus ultra du théorème de compacité Pierre C. PDF
4 (5/11) Introduction aux catégories et à la représentabilité Kenji PDF
5 (12/11) Petit voyage à travers la réalisabiltié classique Étienne PDF
6 (19/11) La fabuleuse catégorie des ensembles Pierre C.
7 (03/12) La dualité du calcul et des constructions Kenji
8 (10/12) Logique et catégories pour la linguistique Antonin
9 (17/12) Déduction automatique et réécriture Guillaume

Sujets proposés

  • Logique sub-structurelle et calcul de lambek, Antonin D.
  • Introduction à la logique catégorique et aux Topos, Pierre C. & Kenji


Saisons passées

Outils personnels