Page d'accueil IMAG

  Pascal Lafourcade

English version Home

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 TD/TP

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.

Livres et sites web

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.


Coordonnées

Adresse 
Pascal Lafourcade
Laboratoire Verimag centre Equation
2, avenue de Vignate
38610 Gières
FRANCE
Bureau : CTL1/B4D
Tél : +33 (0) 4 56 52 04 14
Mobile : +33 (0) 6 83 54 90 70
Fax : +33 (0) 4 56 52 03 44
E-mail : pascal.lafourcade@imag.fr
Verimag Webmail Verimag Webmail Zimbra