Pascal Lafourcade

MODULE INF121 : Introduction à la programmation fonctionnelle

2011 - 2012

Lien ADE

Programme du module :

• Types : énumérés, récursifs, produit de types, sommes de types
• Récursivité : des fonctions, des structures, des types
• Fondements mathématiques : ensembles définis récursivement, terminaison de fonctions récursives
• Modélisation : définition de types et de structures de données
• Algorithmique : construction, exploration, modification de structures récursives : séquences, arbres, termes
• Programmation avancée : utilisation de fonctions d'ordre supérieur associées à une structure récursive

Poly de TD 2 par page, normal.
Poly de TP1 2 par page, normal.
Poly de TP2 2 par page, normal.

Diapos du cours de Francois Puitg

Diapos du cours de Yliés Falcone.

Équipe enseignante:

COURS

• Pascal Lafourcade COURS Mardi 8h00 - 9h30 Amphi F (MIN-MAT1, MIN-MAT2, MIN-MAT3)
• Puitg Francois COURS 8h00 - 9h30 Maison de la Mécanique (INF1, INF2, INF3)
• Yliès Falcone ENGLISH COURSE Monday 8h00 - 9h30 Amphi D1

TD/TP

• INF 1 Ene Cristian TD Mardi 15h15 - 16h45, TP Jeudi 15h15 - 18h30.
• INF 2 TD Yliès Falcone TD Mercredi 8h00 - 9h45, TP Mathilde Duclos TP Mercredi 15h15 - 18h30.
• INF 3 Philippe Waille TD Mercredi 13h30 - 15h15, TP Jeudi 15h15 - 18h30.
• MIN-MAT 1 Fabienne Carrier TD Vendredi 8h00 - 9h45, TP Vendredi 13h30 - 16h45.
• MIN-MAT 2 Puitg Francois TD Lundi 15h15 -16h45, TP Mardi 13h30 - 16h45.
• MIN-MAT 3 Jannik Dreier TD Vendredi 8h00 - 9h45, TP Jeudi 9h45 - 13h00.
• ENGLISH Group Antoine Gerbaud TD Mardi 15h15 - 16h45, TP Lundi 15h15 - 18h30.

Cours

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.
Ce planning concerne uniquement tous les groupes MIN-MAT.

Cours	Date	Heure	Salle		Commentaires
1	Mardi 24 Janvier 2012	8h00 - 9h30	DLST - F	Introduction et type de base .ml .txt	Distribution Poly
2	Mercredi 25 Janvier 2012	11h30 - 13h00	DLST - F	Type produit et énumérés .ml .txt
3	Mardi 7 Février 2012	8h00 - 9h30	DLST - F	Type somme .ml .txt
4	Mardi 21 Février 2012	8h00 - 9h45	DLST - F	Récursion, types récursifs, séquence .ml .txt
5	Mardi 6 Mars 2012	8h00 - 9h45	DLST - F	Séquences .ml .txt
6	Mardi 13 Mars 2012	8h00 - 9h45	DLST - F	.ml .txt
7	Mardi 27 Mars 2012	8h00 - 9h45	DLST - F	Correction Partiel + ordre sup .ml .txt
8	Mercredi 28 Mars 2012	11h30 - 13h00	DLST - E1	Ordre SUP : Filter, Map, Reverse .ml .txt
9	Mardi 2 Avril 2012	8h00 - 9h45	DLST - F	Ordre SUP : Fold .ml .txt
10	Mardi 17 Avril 2012	8h00 - 9h45	DLST - F	Structure arborescente .ml .txt
11	Mardi 24 Avril 2012	8h00 - 9h45	DLST - F	Arbre Binaire de Recherceh et Preuve .ml .txt
12	Mercredi 25 Avril 2012	11h30 - 13h00	DLST - E1	Ordre sup sur les arbres, Lambda-calcul, Preuve, complexite .ml .txt	Dernier cours

Formule de calcul de la note finale

Note finale=60%Examen + 20%CC1 + 20% CC2
CC1 = 10% TP + 30% Quicks + 60% Projet.
CC2 = Partiel

Projet

Sujet du Projet .pdf

Projet par groupe de TP.

• Phase 1
• Phase 2

Planning

• A la fin de la deuxième semaine de TD consitution des groupes.
• Livraison par email à votre enseignant de TD
• Rendu et soutenance du projet lors de la derniàre scéance.

• Partiel 2011-2012 Sujet Solution, Examen Sujet Solution,

Livres et sites web

• Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation. Ediscience (Collection Informatique), Paris, 1995, ISBN 2-84074-114-8.
• Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'applications avec Objective Caml. Editions O'Reilly, Paris, 2000, ISBN 2-84177-121-0.
• Xavier Leroy et Pierre Weis. Manuel de référence du langage Caml. InterEditions, Paris, 1993, ISBN 2-7296-0492-8. Version electronique
• Ocaml Inria web site
• Manuel d'Ocaml"
• Interprèteur Ocaml en ligne
• 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
  

Divers

Ce cours fut enseigné par Michael Perin et Francois Puitg jusqu'en 2011. Ancienne page

Calculette logique BDDC développée par Pascal Raymond.

---