Programmation fonctionnelle

Présentation

Approche fonctionnelle de la programmation, récursivité. Présentation d'un langage fonctionnel.

Descriptif

  • Types, fonctions, récursivité. Terminaison, validité et complexité des programmes récursifs.
  • Structures de données: listes, piles, files, arbres, graphes.
  • Algorithmes classiques et avancés sur ces structures de données.
  • Évaluations par valeur et paresseuse. Programmation modulaire.
  • Présentation d’un langage fonctionnel (OCaml).

Bibliographie

Le langage Caml, X. Leroy et P. Weiss. Masson

Modalités de contrôle des connaissances

Session 1 ou session unique - Contrôle de connaissances

Nature de l'enseignementModalitéNatureDurée (min.)NombreCoefficientRemarques
UECCTravaux Pratiques9011/3
UECTEcrit - devoir surveillé12012/3

Session 2 : Contrôle de connaissances

Nature de l'enseignementModalitéNatureDurée (min.)NombreCoefficientRemarques
UECTEcrit - devoir surveillé12011Pas de report de CC, même favorable.