Licence d'Informatique
Programmation fonctionnelle
Feuille 1: formules et connecteurs
Feuille 2: manipulations syntaxiques de formules
Feuille 3: substitutions et preuves
Feuille 4: formes normales et résolutions
Feuille 5: découverte de la programmation en Caml
Feuille 6: les listes en Caml
Feuille 7: manipulations de formules en Caml
Feuille 8: manipulations de listes en Caml
Feuille 9: pattern matching et Poker
Feuille 10: programmation Caml
Projet 2003-2004: compilation de formules logiques par Binary Decision Diagrams (BDD)
Le forum consacré au projet est accessible
ici
.
Institut Gaspard Monge
Université de Marne-la-Vallée