Logique linéaire 2013



Les cours :

12/02. Cours: Introduction     Enoncés     Ensembles inductifs    

Exos: Arbres binaires, ternaires, et plus si affinités. Vous pouvez me poser des questions sur ces exos à ah@unice.fr

19/02. Cours: Définitions     Contextes     Séquents     Tactiques gratuites     Exhiber, appliquer     Tactiques dérivées    

Logique linéaire 2012

Les cours :

12/01. Cours: Introduction     Enoncés     Définitions    

19/01. Cours: Séquents     Tactiques gratuites     Exhiber, appliquer     Tactiques dérivées    

26/01. Cours: La logique classique    

02/02. Cours: Exercices    

09/02. Cours: Vérité     Le jeu des additifs     Le jeu MALL    


Logique linéaire 09/10
Le descriptif du cours est ici.

Les cours :

Matériel catégorique
Logique dominante
Vérité
Additifs
Multiplicatifs
Exponentielles

Les exos (y'en a plein dans les cours) :

La feuille d'exos : Preuves.

L'exam :

Examen 09/10.

Les exposés 2010 :




Documents 2009


Les cours 2009:

Cours 1
Cours 2
Cours 3
Cours 4


Les exos 2009 :

Stratégies.
Preuves.

L'exam 09 :

Examen 09.

Les exposés 2009 :

André Hirschowitz

Last modified: Février 10