Retour Index

Logique


Cette page contient quelques cours de Logique, des r�sum�s, ainsi que des exercices, et un dm.
Le cours est divis� en deux parties, il n'y a pas de TD en tant que tel.

Cours de Pierre Lescanne

L'objet de ce cours est bien d�taill�e sur la page de : Pierre Lescanne.

DM 1

Th�mes : Inductions, ordres, fermetures transitives


Cours

Ces versions de cours proviennent d'une compilation des transparents de Pierre Lescanne.

Th�mes : Logique de Hilbert, logique minimale

Th�me : Lambda calcul

Th�me : Mod�les de Kriple

Th�me : Logique classique



Cours de Odile Millet-Botta

Un petit th�or�me en DM !

Th�me : Logique propositionnelle


Quelques (longs) r�sum�s de cours r�alis�s par mes soins...



SUPER ! Id�al pour les r�visions, mes fiches personnelles et les exams 00/01