logique

Logique des propositions en Haskell part I

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...

Math discrète INFO1

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 sur Mathématice au sujet des rapports entre algèbre et informatique

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é:

courtesy of webmatter.de