predicats et ensembles

2026-09-18 10:03:43 +02:00
parent 27ff209ddf
commit 16e7763514
1 changed files with 2 additions and 0 deletions
@@ -6,11 +6,13 @@
 | -------------------- | ------------------------------------------------ | ----------------------- |
 | 1 	   | [Formes propositionelles](./cours/logique1.pdf)  | [td1](./td/td1.pdf)     |
 | 2     | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) |
+| 3     |  [Formes prédicatives](./cours/logique3.pdf)            | [td3](./td/td3.pdf) |

 ### Ensembles, relations, fonctions.

 | Semaine              |                Cours                             | TD						|
 | -------------------- | ------------------------------------------------ | ----------------------- |
+| 4 	   | [Ensembles](./cours/ensembles.pdf)  | [td3](./td/td3.pdf)     |

 ## TP
 - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.