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