Une base pour travailler en logique avec Haskell. Il restera en mini-projet à créer des fonctions de mise sous forme normale conjonctive et disjonctive...
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:
Article paru dans le numéro 34 de mathématice sur les liens entre algèbre et informatique. L'article se termine sur le traitement d'images à l'aide d'outils algébriques. Voici le résumé: