• Organisation (cours, TD, évaluation)
• Calendrier et polycopies (cours, TD)
• Liens (pages web)

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. Début 1 février. L'horaire du cours est le suivant :
  
  

  Jour	Heure	Salle
  Mercredi	8h30	Amphi 8C



• TD/TP : La page des TD. Début: la semaine du 6 février 2011.
  


• Evaluation : La note de la première session 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 Samedi 31 mars, 15h - 18h, Amphi 2A
• Examen de rattrapage le Jeudi 21 juin, 8h30 - 11h30, Amphi 1A
• Cours de révision, Jeudi 7 juin, 9h - 11h, Salle 470E
  
  

  ---

  Calendrier et polycopies

  Semaine du	Cours	Observations
  30 janvier	Introduction, Notions de base, Principe d'induction, Transparents 1 (mis à jour le 10 février)	pas de TD/TP
  6 février	Logique propositionnelle	-
  13 février	Systèmes de preuves syntaxique, Calcul de Hilbert, Transparents 2	-
  20 février	Déduction naturelle	-
  27 février	Calcul de Gentzen	-
  5 mars	Résolution propositionnelle	-
  12 mars	Calcul des prédicats, Transparents 3	-
  19 mars	Suite calcul des prédicats	-
  26 mars	Système de Gentzen	Partiel le 31 mars, 15h, Amphi 2A
  2 avril	Correction du partiel, unification, Transparents 4	-
  9 avril	Résolution dans le calcul des prédicats	-
  30 avril	Formalisation, résolution	-
  7 mai	Cours de révision	-

Liens