Peter Habermehl - Enseignement "Logique"

Module "Logique" 2010/2011
Licence 3ème année

Organisation

Cours : Le responsable du cours est Peter Habermehl (adresse e-mail Peter.Habermehl(at)liafa.jussieu.fr, Bureau 6A23, 175, rue du Chevaleret). L'enseignement a lieu au deuxième semestre. L'horaire du cours est le suivant :

Jour Heure Salle

Mercredi 10h30 Amphi 6C

Evaluation : La note de la première sessions est calculée comme 1/2 partiel + 1/2 examen (Les deux sont obligatoires). La note de la deuxième session est calculé comme max(examen de rattrapage, 1/2 partiel + 1/2 examen de rattrapage).
Pendant le partiel et les examens, les étudiants auront droit uniquement à la consultation de deux feuilles A4 recto-verso manuscrites et strictement personnelles. Tous les autres documents ne seront pas autorisés.
Partiel le 16 mars de 10h30 et 13h30. Le partiel est obligatoire. Répartition des étudiants: Étudiants A-D: Salle 470E. Étudiants E-Z: Amphi 6C.
Examen le 20 mai de 12h à 15h.
Examen de rattrapage le 16 juin de 8h30 à 11h30, Amphi 8C. L'examen porte sur la totalité du cours. Seuls documents autorisés: 2 feuilles A4 recto-verso manuscrites. Notes.

Jour	Heure	Salle
Mercredi	10h30	Amphi 6C

Calendrier et polycopies

Semaine du	Cours	Observations
24 janvier	Transparents de la première partie, Introduction	pas de TD/TP
31 janvier	Logique propositionnelle	-
7 février	Transparents de la deuxième partie, Systèmes de preuves syntaxique	-
14 février	Calcul de Hilbert	-
21 février	Déduction naturelle, Calcul de Gentzen	-
28 février	Résolution propositionnelle	-
7 mars	Transparents de la troisième partie, Calcul des prédicats	-
14 mars	pas de cours	Partiel le 16 mars
21 mars	Transparents de la quatrième partie, Suite calcul des prédicats	-
28 mars	Système de Gentzen, unification	-
4 avril	Transparents de la cinquième partie, résolution	-
25 avril	Résolution	-
2 mai	Cours de révision	-
6 juin	Séance de soutien le 6 juin de 8h30 à 12h30, Salle 470E, Correction de de l'examen, Exercices supplémentaires sur la modélisation et la logique propositionnelle	-

Liens

Des exercices très intéressants sur la modélisation et la preuve (résolution ou autre).