• Cours : Sam van Gool, les mercredis de 14h à 16h, 1Z68
• TD : Nicolas Dumange, les mercredis de 16h15 à 18h15, 1Z68

Le programme

(21 janvier et 28 janvier : pas de cours)

1. 4 février : syntaxe et sémantique de la logique propositionnelle et de la logique de premier ordre, déduction naturelle pour la logique propositionnelle. Slides

(11 février : pas de cours)

2. 18 février
3. 25 février

(4 mars : pas de cours)

4. 11 mars
5. 18 mars (publication du devoir à la maison, à rendre le 30 mars avant 23h59, heure de Paris)
6. 25 mars
7. 1 avril
8. 8 avril
9. 15 avril
10. 22 avril

(29 avril : pas de cours)

11. 6 mai
12. 13 mai

semaine du 18 mai : examen

Conditions de validation

La note finale sera calculée de la manière suivante :

• contrôle continu de TD : 20%
• DM : 30%
• examen : 50%

Les notes pour le contrôle continu et le DM seront maintenus en deuxième session.