**Logique** **[L3, département informatique](https://lmf.cnrs.fr/deptinfo-ens/L3/), 2ème semestre, 2025-2026** **[ENS Paris-Saclay](https://www.ens-paris-saclay.fr)** * Cours : [Sam van Gool](https://www.samvangool.net), les mercredis de 14h à 16h, 1Z68 * TD : [Nicolas Dumange](https://home.lmf.cnrs.fr/NicolasDumange/HomePage?lang=fr), les mercredis de 16h15 à 18h15, 1Z61 Le programme ========================== (21 janvier et 28 janvier : pas de cours) 1. 4 février (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.