Logique, déduction et programmation

Calendrier (fichier .ics.)

Le corrigé de l'examen.
Le corrigé du partiel.
Le projet ici. Modalités de soumission : voir le fichier pdf. En particulier : prendre contacte avec le responsable de votre groupe de TP (plus de détailles à venir). Date limite de soumission : à communiquer.
Le partiel se déroulera le lundi 13/11/2007 de 10h30 à 12h30. Il portera sur les 5 premiers cours. Documents authorisés.
Le module Terme. Code ici.
Le TD de lundi 7/11/2006 portera sur la préparaation au partiel, à l'aide du partiel de l'année dernière. Trouvez ici le corrigé.
Un groupe LDP_M1Info_CMI, avec forum associé a été crée sur le bureau virtuel. Ce groupe, en libre accès, est destiné aux étudiants de ce cours.

Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation .
[B] Collection Informatique. Paris: Ediscience International. xiii, 428 p. (1995). [ISBN 2-84074-114-8; ISSN 0989-392X].

Sur internet :

Emmanuel Chailloux, Pascal Manoury and Bruno Pagano. Développement d'applications avec Objective Caml.
La page web du langage CAML à l'INRIA.
Michel Mauny. Functional programming using Caml Light.

Autre :

Glynn Winskel. The formal semantics of programming languages: an introduction.
[B] MIT Press Series in the Foundations of Computing. London: MIT Press. XI, 361 p. (1993). [ISBN 0-262-23169-7/hbk].

Documentation :

Du manuel de ocaml :

Comment le cours est évalué ?
NOTE = (3 * max(3*E,(2E+CC)) + PRJ)/4
où E est le résultat de l'examen final, CC est l'évaluation du contrôle continue, PRJ est l'évaluation du projet informatique.

Aucune.

Dernière mise à jour : Mon Jan 8 17:16:49 CET 2007