Skip to content
Snippets Groups Projects
README.md 3.9 KiB
Newer Older
  • Learn to ignore specific revisions
  • COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    # UE LIFPF INF2030L Programmation Fonctionnelle
    
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    ## Semestre 2024 Printemps
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    - [Configuration pour la salle de TP](CONFIGURATION.md)
    - [Rappels git et gitlab](gitlab.md)
    - [Questions sur le cours](https://forge.univ-lyon1.fr/programmation-fonctionnelle/lifpf/-/issues/?sort=updated_desc&state=all&label_name%5B%5D=Question)
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    > **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](cm/lifpf-cm1.pdf)                                         |
    |       | 9h45            | TD1           | Lambda-Calcul                   | [Sujet](td/lifpf-td1-enonce.pdf), [corrigé](td/lifpf-td1-correction.pdf) |
    | 22/01 | 8h              | CM2           | OCaml                           | [Diapositives](cm/lifpf-cm2.pdf), [Script démos](cm/cm2-demo.md)         |
    |       | 9h45 ou 11h30   | TP1           | Prise en main                   | [Sujet](tp/tp1.md), [corrigé](tp/tp1.ml)                                 |
    | 29/01 | 8h              | TD2 + Ctrl    | Lambda-Calcul                   | [Sujet](td/lifpf-td2-enonce.pdf), [corrigé](td/lifpf-td2-correction.pdf) |
    |       | 9h45 ou 11h30   | TP2           | Listes                          | [Sujet](tp/tp2.md), [corrigé](tp/tp2.ml)                                 |
    | 05/02 | 8h              | CM3           | Struct. ind. + types param.     | [Diapositives](cm/lifpf-cm3.pdf)                                         |
    |       | 9h45 ou 11h30   | TP3           | Arbres                          | [Sujet](tp/tp3.md), [corrigé](tp/tp3.ml)                                 |
    | 12/02 | 8h              | TD3 + Ctrl    | Arbres                          | [Sujet](td/lifpf-td3-enonce.pdf), [corrigé](td/lifpf-td3-correction.pdf) |
    |       | 9h45 ou 11h30   | TP4           | Arbres génériques               | [Sujet](tp/tp4.md), [corrigé](tp/tp4.ml)                                 |
    | 04/03 | 8h              | CM4           | Ordre sup.                      | [Diapositives](cm/lifpf-cm4.pdf)                                         |
    |       | 9h45            | TD4 + Ctrl    | Ordre sup.                      | [Sujet](td/lifpf-td4-enonce.pdf), [corrigé](td/lifpf-td4-correction.pdf) |
    | 11/03 | 8h              | CM5           | Modules                         | [Diapositives](cm/lifpf-cm5.pdf)                                         |
    |       | 9h45 ou 11h30   | TP5           | Struct. gen.                    | [Sujet](tp/tp5.md), [corrigé de l'exercice 1](tp/tp5.ml)                 |
    | 18/03 | 8h              | TD5 + Ctrl    | Ordre sup.                      | [Sujet](td/lifpf-td5-enonce.pdf), [corrigé](td/lifpf-td5-correction.pdf) |
    |       | 9h45 ou 11h30   | TP6           | Transf. struct.                 | [Sujet](tp/tp6.md), corrigés dans les TD/TPs référencés dans le sujet    |
    | 25/03 | 9h45 ou 11h15   | TP7           | App. OCaml (à changer ?)        | [Sujet](tp/tp7.md), [corrigé](tp/tp7.zip)                                |
    | 08/04 | 8h              | CM6           | Foncteurs                       | [Diapositives](cm/lifpf-cm6.pdf), [code](cm/cm6-code.ml)                 |
    |       | 9h45            | TD6 + Ctrl    | Foncteurs                       | [Sujet](td/lifpf-td6-enonce.pdf), [corrigé](td/lifpf-td6-correction.pdf) |
    | 15/04 | entre 8h et 13h | Soutenance TP | Interrogation orale sur les TPs |                                                                          |
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    
    
    ### Annales
    
    - [Printemps 2023, session 1](annales/ccf-2023p-s1.pdf), [corrigé](annales/ccf-2023p-s1-corrige.ml)
    
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    ### Évaluation
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    - 5 contrôle en TD + 1 oral de TP: 60 %
    
    COQUERY EMMANUEL's avatar
    COQUERY EMMANUEL committed
    - ECA: 40%