Master informatique semestre 3
Logique et Langages INF 569
(partie théorie de la démonstration et grammaires catégorielles)
Théorie de la démonstration
Systèmes déductifs et grammaires formelles:
les grammaires catégorielles et applications à la modélisation du langage naturel
Contrôle continu 2008/2009
- La logique classique en déduction naturelle (Richard Moot et Christian Retoré)
- La non-non traduction de Gödel-Kolmogorov entre logique classique (NK) et logique intuitionniste (NJ) (Richard Moot et Christian Retoré)
Anciens sujets d'examens:
dimanche 22 février, 2009 22:48
Christian Retoré