monnerat/maths_2025
1
2
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cm predicat/ensemble

Browse Source
This commit is contained in:
Denis Monnerat
2025-09-19 09:03:38 +02:00
parent cf7f4450ae
commit a56d56dbb1
3 changed files with 7 additions and 0 deletions
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 | [Calcul propositionnel, formes normales, simplification](./cours/logique2.pdf) | [td2](./td/td2.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 |
| -------------------- | ------------------------------------------------ | ----------------------- |
| 3/4 | [Ensembles](./cours/ensembles.pdf) | [td3](./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.