UE INF201 : Introduction à la programmation fonctionnelle

2016 - 2017

  Emploi du temps complet sur 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


Examen 2017 : le sujet (et le corrigé) sont ici.

Partiel 2017 : le sujet (et le corrigé) sont ici

Examen 2016 : le sujet (et le corrigé) sont ici.


Partiel 2016 :

Le poly de TD (partie 1 et partie 3 et partie_4) et le poly de TP

Documents for the MIN-Int group

Diapos du cours de Francois Puitg (groupes INF)

Équipe enseignante:


COURS
  •  Laurent Mounier COURS Mardi 13h30-15h00 - DLST Amphi A2 (IMA-1, IMA-2, IMA-3, IMA-4, IMA-5 et MIN-Int)
  •  Francois Puitg COURS  Mercredi 9h45-11h15 - DLST Amphi A1  (INF-1, INF-2, INF-3, INF-4 et INF-5)
TD et TP
  • Philippe Waille
  • Cristian Ene
  • Jean-Claude Fernandez
  • Benjamin Wack
  • Mohamed Khatiri
  • Maxime Garcia
  • Fabienne Carrier

Planning et notes de cours

Ce planning concerne uniquement les groupes IMA-1, IMA-2, IMA-3, IMA-4, IMA-5 et MIN-Int

On y trouve chaque semaine :

  • les transparents du cours (la version projetée et une version imprimable)
  • le cas échéant certains exemples de programmes CAML écrits pendant le cours

Cours Date Heure Salle Transparents et exemples
1
Lundi 09/ 01 
15h15 - 16h45 DLST Amphi D2
généralités et introduction INF121
(version imprimable)
2
Mardi 10 / 01
13h30 - 15h DLST Amphi A2
identificateur, fonctions, types
(version imprimable)
Exemples du cours
3
Mardi 17/01
13h30 - 15h DLST Amphi A2 définition de types
(version imprimable)
exemples du cours

Mardi 24/01
pas de cours

Journée du Lycéen
4
Mardi 31/01
13h30 - 15h DLST Amphi A2 définitions récursives
(version imprimable)
exemples_du cours
5
Mardi 07/02
13h30 - 15h DLST Amphi A2 définitions récursives (suite)
(version imprimable)
exemples du cours
6
Mardi 14/02
13h30 - 15h DLST Amphi A2 listes (partie 1)
(version imprimable)
exemples_du_cours

Vacances


7 Mardi 28/02
13h30 - 15h DLST Amphi A2 listes (partie 2
(version imprimable)
exemples du cours

Partiels


8
Mardi 14/03
13h30 - 15h DLST Amphi A2 retour sur les listes
(version imprimable)
exemples du cours
9 Mardi 21/03
13h30 - 15h DLST Amphi A2 polymorphisme et ordre supérieur
(version imprimable)
exemples du cours
10 Mardi 28/03
13h30 - 15h DLST Amphi A2 ordre supérieur (fin)
(version imprimable)
exemples du cours
11 Mardi 04/04
13h30 - 15h DLST Amphi A2 structures arborescentes (1)
(version imprimable)

12 Mardi 11/04
13h30 - 15h DLST Amphi A2 structures arborescentes (2)
 bilan

(version imprimable)
exemples du cours

Vacances



Formule de calcul de la note finale

Note finale=60%Examen + 20%CC1 + 20% CC2
CC1 =  Quicks
CC2 = Partiel


Livres et sites web

Divers

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