monnerat/maths_2024
2
3
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ajout cm predicats et ensembles

Browse Source
This commit is contained in:
Denis Monnerat 2024-09-20 10:31:30 +02:00
parent 725ccd4f83
commit 3ba8d13d16
3 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
maths_discretes/README.md
View File

@ -6,6 +6,13 @@
| -------------------- | ------------------------------------------------ | ----------------------- | | -------------------- | ------------------------------------------------ | ----------------------- |
| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) | | 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.pdf) |
| 2 | [Formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.pdf) | | 2 | [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 |
| -------------------- | ------------------------------------------------ | ----------------------- |
| 3/4 | [Ensembles](./cours/ensembles.pdf) | [td4](./td/td3.pdf) |
## TP ## TP
- [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS. - [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.

BIN
maths_discretes/cours/ensembles.pdf Normal file
View File

Binary file not shown.

BIN
maths_discretes/cours/logique3.pdf Normal file
View File

Binary file not shown.