Skip to content
Snippets Groups Projects
Forked from Programmation Fonctionnelle / LIFPF
34 commits behind the upstream repository.
Name Last commit Last update
annales
cm
files
td
tp
CONFIGURATION.md
README.md
gitlab.md

UE LIFPF INF2030L Programmation Fonctionnelle

Semestre 2024 Printemps

Attention, pour le moment les supports sont ceux de l'an dernier, donnés à titre indicatif.

jour heure type sujet supports / remarques
15/01 8h CM1 Lambda-Calcul Diapositives
9h45 TD1 sauf B Lambda-Calcul Sujet, corrigé
11h30 TD1 Grp B Salle TD13 Nautibus
22/01 8h CM2 OCaml Diapositives, Script démos
9h45 ou 11h30 TP1 Prise en main Sujet, corrigé
29/01 8h TD2 + Ctrl Lambda-Calcul Sujet, corrigé
9h45 ou 11h30 TP2 Listes Sujet, corrigé
05/02 8h CM3 Struct. ind. + types param. Diapositives
9h45 ou 11h30 TP3 Arbres Sujet, corrigé
12/02 8h TD3 + Ctrl Arbres Sujet, corrigé
9h45 ou 11h30 TP4 Arbres génériques Sujet, corrigé
04/03 8h CM4 Ordre sup. Diapositives
9h45 TD4 + Ctrl Ordre sup. Sujet, corrigé
11/03 8h CM5 Modules Diapositives
9h45 ou 11h30 TP5 Struct. gen. Sujet, corrigé de l'exercice 1
18/03 8h TD5 + Ctrl Ordre sup. Sujet, corrigé
9h45 ou 11h30 TP6 Transf. struct. Sujet, corrigés dans les TD/TPs référencés dans le sujet
25/03 9h45 ou 11h15 TP7 App. OCaml (à changer ?) Sujet, corrigé
08/04 8h CM6 Foncteurs Diapositives, code
9h45 TD6 + Ctrl Foncteurs Sujet, corrigé
15/04 entre 8h et 13h Soutenance TP Interrogation orale sur les TPs

Annales

Évaluation

  • 5 contrôle en TD + 1 oral de TP: 60 %
  • ECA: 40%