TD de Logique, L3 Informatique 2011-2012

La page du cours se trouve ici.

Le cours commence la semaine du 30 Janvier 2012.
Les TD commencent la semaine du 6 Février 2012.

Une session de rattrapage des TD qui n'ont pas eu lieu le Lundi 9 Avril 2012 aura lieu:
le Jeudi 3 Mai 2012 de 14h à 16h en Salle 103A (Buffon-niveau1).

• Cours: Mercredi 8h30-10h30. Amphi 8C
• TD Groupe 1: Lundi 11h00-13h00. Salle 473F
• TD Groupe 2: Lundi 14h00-16h00. Salle 470E
• TD Groupe 3: Jeudi 14h30-16h30. Salle 470E

• Responsable du cours: Peter Habermehl
• Chargés des TD:
  • Alexis Goyet
  • Arnaud Sangnier
  • Stéphane Zimmermann


• Évaluation: La note finale en 1ère session est calculée comme 0.5*Pa + 0.5*Ex où Pa est la note du partiel et Ex est la note de l'examen. En deuxième session, la note est celle de l'examen.

• TD 1
• TD 2
• TD 3
• TD 4
• TD 5
• TD 6
• TD 7
• TD 8
• TD 9
• TD 10
• TD 11