Enseignant Été 2024
- Quentin Stiévenart. stievenart.quentin@uqam.ca, bureau : PK-4735.
Semainier des séances
# | Semaine | Diapositives | Laboratoires |
---|---|---|---|
1 | 2024-04-30 | Chapitre 0 : Introduction
Chapitre 1 : Bases de la programmation fonctionnelle | Laboratoire 1 |
2 | 2024-05-07 | Chapitre 2 : Fonctions et récursivité | Laboratoire 2 |
3 | 2024-05-14 | Chapitre 3 : Types fonctionnels
Exemple : génération procédurale Sortie du TP1 | Laboratoire 3 |
4 | 2024-05-21 | Chapitre 3 : Types (suite) Chapitre 4 : Fonctions d'ordre supérieur Quiz 1 (sur Moodle) | Laboratoire 3 (suite) |
5 | 2024-05-28 | Chapitre 4 : Fonctions d'ordre supérieur (suite)
Exemple : interpréteur BF (simple) Exemple : interpréteur BF (complet) Exemple : interpréteur BF (pur) | Laboratoire 4 |
6 | 2024-06-04 | Chapitre 5 : Encapsulation et modules
Exemple : 2048 Remise du TP1 (sur Moodle) Sortie du TP2 | Laboratoire 5 |
7 | 2024-06-11 | Chapitre 6 : Preuves de programmes | Laboratoire 6 |
8 | 2024-06-18 | Examen intra.
Local: A-M050 (pavillon Hubert-Acquin, 400 rue Sainte-Catherine Est) | Pas de labo |
9 | 2024-06-25 | Correction de l'intra
Chapitre 7 : Programmation logique | Laboratoire 7 |
10 | 2024-07-02 | Chapitre 7 : Programmation logique (suite)
Remise du TP2 (sur Moodle) Sortie du TP3 | Laboratoire 8 |
11 | 2024-07-09 | Chapitre 8 : Interprétation d'un langage fonctionnel | Laboratoire 9 |
12 | 2024-07-16 | Chapitre 9 : Typage | Laboratoire 10 |
13 | 2024-07-23 | Chapitre 10 : Interprétation d'un langage logique | Laboratoire 11 (suite) |
14 | 2024-07-30 | Chapitre 11 : Programmation par contraintes | Laboratoire 12 |
15 | 2024-08-06 | Examen final
Remise du TP3 (sur Moodle) | Correction de l'examen |
Évaluation
Description | Pondération | Échéance |
---|---|---|
Quiz 1 | 2.5% | Semaine 4 |
TP1 | 15% | Semaine 6 |
Examen intra | 25% | Semaine 8 |
TP2 | 20% | Semaine 10 |
Quiz 2 | 2.5% | Semaine 12 |
TP3 | 15% | Semaine 15 |
Examen final | 25% | Semaine 15 |
Entente à signer à la semaine 2.
Diapositives
- Chapitre 0 : Introduction
- Chapitre 1 : Concepts de base
- Chapitre 2 : Fonctions et récursivité
- Chapitre 3 : Types fonctionnels
- Chapitre 4 : Fonctions d’ordre supérieur
- Chapitre 5 : Encapsulation et modules
- Chapitre 6 : Tests et preuves
- Chapitre 7 : Programmation logique
- Chapitre 8 : Interprétation d’un langage fonctionnel
- Chapitre 9 : Unification et typage
- Chapitre 10 : Interprétation d’un langage logique
- Chapitre 11 : Programmation par contraintes
Labos
Les solutions sont disponibles au fur et à mesure de la session sur le dépôt.
Guide de style
Pour les évaluations, la qualité de votre code sera évaluée en fonction du guide de style du cours.
Référence
- OCaml Programming: Correct + Efficient + Beautiful, Clarkson, M. (version PDF)
- Développement d’applications avec Objective Caml, Chailloux, E., Manoury, P., Pagano, B.
- A Tour of OCaml
- Manuel du langage