Pascal Lafourcade

LP2 RICM3

2009-2010

Programme du module:

• Bases de OCaml (Objective Categorical Abstract Machine Language)
• Récurrence structurelle
• Evaluation et compléments en Ocaml.
• Modules, Foncteurs, Input Output
• Exception, flots
• Inférence de type (Typage)
• Polymorphisme, référence, mutable.
• Lambda Calcul
• Lambda Calcul
• Mémoire et point fixe

Conventions de programmation en Ocaml:
http://caml.inria.fr/resources/doc/guides/guidelines.fr.html
http://www.seas.upenn.edu/~cis500/cis500-f06/resources/programming_style.html

Équipe enseignante:

• Pascal Lafourcade COURS
• Philippe Bidinger Groupe 1
• Sophie Quinton Groupe 2

Cours

Les cours ont lieus habituellement jeudi de 15h15 à 16h45 amphi E2 au DLST.

Les Pdfs des cours sont sans le plan et sans overlays. Pour imprimer en 2, 4, 6, 9 et 16 par pages avec Acroread il faut choisir dans page scaling : Multipage per sheet et le nombre de pages voulues.

TD	Date	Heure	Salle	Slides	Commentaires
1	Lundi 25 Janvier 2010	8h00 - 9h30	Polytech - 101	cours 1
2	Lundi 1er Février 2010	8h00 - 9h30	Polytech - 101	cours 2
3	Lundi 8 Février 2010	8h00 - 9h30	Polytech - 101	cours 3
4	Lundi 22 Février 2010	8h00 - 9h30	Polytech - 101	cours 4
5	Lundi 1er Mars 2010	8h00 - 9h30	Polytech - 101	cours 5
6	Lundi 15 Mars 2010	8h00 - 9h30	Polytech - 101	cours 6
7	Lundi 22 Mars 2010	8h00 - 9h30	Polytech - 101	cours 7
8	Lundi 29 Mars 2010	8h00 - 9h30	Polytech - 101	cours 8
9	Lundi 26 Avril 2010	8h00 - 9h30	Polytech - 101	cours 9	Slides Berry Video
10	Lundi 3 Mai 2010	8h00 - 9h30	Polytech - 101	cours 10

Date des 5 TPs de 3h00 les jeudis

• 28 Janvier 2010, TP1 : Introduction
• 11 Février 2010, TP2 : Code de Huffman fichiers
• 4 Mars 2010 TP3 : Foncteurs fichiers
• 25 Mars 2010 TP4 : Flots fichiers
• 8 Avril 2010 TP5 : Projet Doom fichiers

Formule de calcul de la note finale

Note finale = 70% Examen + 10 % CC + 20% TP

• Note CC = Max des 2 notes des exercices rendus chaque semaine.
• TP = 60\% TP-Projet + 40\% TPs
• Note TPs = Max des 2 TPs

TP-Projet à rendre pour le 22 Avril 2010 minuit par email. 4 TPs à rendre.

Notes Projets

Divers

Les années précédentes ce cours fut enseigné par Jean-Francois Monin .