30 lines
1.3 KiB
Markdown
30 lines
1.3 KiB
Markdown
# Mathématiques discrètes (R1.06)
|
|
## Cours/TD
|
|
### Introduction à la logique.
|
|
|
|
| Semaine | Cours | TD |
|
|
| -------------------- | ------------------------------------------------ | ----------------------- |
|
|
| 1 | [Formes propositionelles](./cours/logique1.pdf) | [td1](./td/td1.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 |
|
|
| -------------------- | ------------------------------------------------ | ----------------------- |
|
|
| 4 | [Ensembles](./cours/ensembles.pdf) | [td3](./td/td3.pdf) |
|
|
| 5 | [Relations](./cours/relations.pdf) | [td3](./td/td3.pdf) |
|
|
| 6 | [Relations](./cours/relations.pdf), [Ordre](./cours/ordre.pdf) | [td4](./td/td4.pdf) |
|
|
| 7 | [Fonctions](./cours/fonctions.pdf), [Cardinalité](./cours/cardinalite.pdf) | [td5](./td/td5.pdf) |
|
|
|
|
## TP
|
|
- [Lien](https://iut-fbleau.fr/wims) vers le serveur WIMS.
|
|
- [Exercice](http://www.iut-fbleau.fr/math/logique/telechargements/index.php) de simplification de formules
|
|
polynomiales.
|
|
|
|
## Divers
|
|
[ds 2023](./ds/ds_2023.pdf)
|
|
|
|
|
|
|