cm 2

2026-09-11 08:48:54 +02:00
parent 268767ab1e
commit 3bce5d6d23
2 changed files with 1 additions and 0 deletions
@@ -5,6 +5,7 @@
 | Semaine              |                Cours                             | TD						|
 | -------------------- | ------------------------------------------------ | ----------------------- |
 | 1 	   | [Formes propositionelles](./cours/logique1.pdf)  | [td1](./td/td1.pdf)     |
+| 2     | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |

 ### Ensembles, relations, fonctions.