La saison reprend...
Mais le programme change cette année ! Outre les contenus mathématiques un peu réorganisés, la nouveauté est l'arrivée de Haskell à la place de OCaml...On y trouvera même des exercices d'un manuel de CM1...de 1970...
Au sommaire:
- logique des propositions;
- ensembles;
- relations binaires et fonctions;
- programmation fonctionnelle et Haskell;
- arithmétique;
- raccourcis emacs.
Le poly et ses sources TEX.
Le diaporama du cours de logique et ses sources TEX.
Le diaporama du cours de théorie des ensembles et ses sources TEX.
Le diaporama du cours sur relations et fonctions et ses sources TEX.
Le diaporama du cours sur la programmation fonctionnelle et Haskell et ses sources TEX.
Une base pour le module de logique en Haskell.
Une correction du TP1
Un petit travail de vacances.
Le DS et ses sources TEX.