Initiation aux preuves formelles 2026 (en cours)

1. Semaine 1 (8 septembre)
   • Transparents du CM1
   • Début de Logique1 (.v)
   • Début de Logique1 (web)
   • Logique1, exercices supplémentaires (.v)
   • Logique1, exercices supplémentaires (web)
2. Semaine 2 (15 septembre)
   • Fin de Logique1 (.v)
   • Fin de Logique1 (web)
   • Logique1, exercices supplémentaires (.v)
   • Logique1, exercices supplémentaires (web)
   • Début de Logique2 (.v)
   • Début de Logique2 (web)
3. Devoir 1 2026 À rendre sur moodle avant dimanche 20 septembre à 23h59
   • Devoir à rendre Devoir_1_2026 (.v)
   • Devoir à rendre Devoir_1_2026 (web)
4. Semaine 3 (21 septembre)
   • Fin de Logique2 (.v)
   • Fin de Logique2 (web)
   • Naturels1 (.v)
   • Naturels1 (web)
   • Naturels1, exercices supplémentaires (.v)
   • Naturels1, exercices supplémentaires (web)
   • Début de Naturels2 (.v)
   • Début de Naturels2 (web)
   • Naturels2, exercices supplémentaires (.v)
   • Naturels2, exercices supplémentaires (web)
5. Semaine 4 (29 septembre)
   • Calcul des prédicats (.v)
   • Calcul des prédicats (web)
   • Calcul des prédicats, exercices supplémentaires (.v)
   • Calcul des prédicats, exercices supplémentaires (web)