predicats et ensembles

2026-09-18 10:03:43 +02:00 · 2026-09-18 10:03:33 +02:00
4 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.
Author	SHA1	Message	Date
Denis Monnerat	16e7763514	predicats et ensembles	2026-09-18 10:03:43 +02:00
Denis Monnerat	27ff209ddf	predicats et ensembles	2026-09-18 10:03:33 +02:00