Logique 2009/2010



Les transparents du cours

Chapitre   Dernière mise à jour
Introduction et Rappels (PDF)   27/1/10
Calcul propositionnel (PDF)   27/1/10
Théorie de la Démonstration(PDF)   22/2/10
Introduction au calcul des prédicats (PDF)  8/3/10
Gentzen pour le calcul des prédicats (PDF)   22/3/10
Unification (PDF)   29/3/10
Résolution en calcul des prédicats (PDF)   29/3/10
Logique Équationnelle (PDF)   //10
Théorie des ensembles (PDF)   //


Le partiel (qui est obligatoire) aura lieu le 15 Mars, de 14h30 à 17h30, Amphi 6C.

Un dernier cours de revision aura lieu le 10 Mai, de 14h30 à 16h30, Amphi 6C.

L'examen final aura lieu le 17 Mai, de 15h30 à 18h30, Amphi 9E et salle 226C.

La séance de révision aura lieu le 7 Juin, de 14h à 18h, Salle 473F.

L'examen de rattrapage aura lieu le 17 Juin, de 12h à 15h, Amphi 5C.

Pendant le partiel et les examens, les étudiants auront droit uniquement à la consultation de deux feuilles A4 manuscrites et strictement personnelles. Tous les autres documents ne seront pas autorisés.

La page du TD est ici.