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