Cours de programmation fonctionnelle

Présentation

• Le calcul des propositions
• La résolution
• Le langage Objective Caml
  • Le nouveau site Caml de l'Inria
  • Le manuel d'Objective Caml
    Xavier Leroy, Damien Doligez, Jacques Garrigue, Didier Rémy et Jérôme Vouillon
  • Idem en local
  • Le livre de référence (voir aussi ci-dessous la bibliographie).
    Emmanuel Chailloux, Pascal Manoury et Bruno Pagano,Objective Caml, Éditions O'Reilly Paris, 2000.
• Introduction au calcul des prédicats
• Automates et logique

Organisation

• Douze cours de deux heures
  • Calcul des propositions. Résolution. Introduction au calcul des prédicats. Automates et logique. Programmation fonctionnelle avec comme langage de support le langage Objective Caml.
    • la partie logique en PostScript
    • le cours d'Objective Caml 2004-2005 en PostScript et en pdf. mise à jour mars 2005
      Sous emacs, tapez votreFichier.ml, puis tapez M-x run-caml pour ouvrir la boucle d'interaction.
    • Modules et foncteurs : exemples
      • pile.mli
      • pile.ml
      • comparableIntPair.ml
      • hashedIntPair.ml
      • essai.ml
      • essai2.ml
      • essai3.ml
• Douze séances de travaux dirigés
• Exercices des années antérieures
  • Feuille 1 (PostScript),
  • Feuille 2 (PostScript),
  • Feuille 3 (PostScript), avec un corrigé de la partie Caml.
  • Feuille 4 (PostScript), avec un corrigé.
  • Feuille de TP 1 (PostScript), avec un corrigé.
  • Feuille de TP 2 (PostScript).
  • Feuille 5 (PostScript), avec un corrigé.
  • Feuille 6 (PostScript), avec un corrigé.
  • Feuille 7 (PostScript)
• Contrôle
  • un examen qui compte 2/3.
  • un projet en Ocaml qui compte 1/3. Le projet est à faire en binôme (deux étudiants maximum).
    
• Les sujets d'examen des années antérieures
  • février 1999.
  • septembre 1999
  • février 2000.
  • septembre 2000, corrigé
  • février 2001, corrigé
  • septembre 2001.
  • février 2002, corrigé
  • février 2003, corrigé de l'exercice 1, corrigé de l'exercice 3

Références principales pour Caml

• Emmanuel Chailloux, Pascal Manoury et Bruno Pagano, Objective Caml, Éditions O'Reilly Paris, 2000.
• Thomas Ehrhard, Cours de Logique, Licence d'informatique, Polycopié, Université de Marne-la-Vallée, 1993.
• Pierre Weis et Xavier Leroy, Le Langage Caml, InterEditions, Paris 1993, 2ème tirage
• Xavier Leroy et Pierre Weis, Manuel de Référence du Langage Caml, InterEditions, Paris 1993.
• Guy Cousineau et Michel Mauny, Approche Fonctionnelle de la Programmation, Ediscience (Collection Informatique), Paris 1995.
• Sébastien Veigneau, Approches Impérative et Fonctionnelle de l'Algorithmique , Springer, 1999.
• Autres livres.

Références principales pour la logique

• René Cori, Daniel Lascar, Logique Mathématique Tome 1 : Calcul Propositionnel, Masson, 1993.
• Stephen C. Kleene, Logique Mathématique, Editions Jacques Gabay, 1987.