Équipe enseignante — Hiver 2025

  • Quentin Stiévenart. stievenart.quentin@uqam.ca, bureau : PK-4735. Office hours (garantie de présence) le mardi de 14h à 17h.

Ressources

Évaluation et échéancier des rendus

Description Pondération Échéance
Quiz 1 2.5% Semaine 4
TP0 5% Semaine 6
Examen intra 32.5% Semaine 8
TP1 15% Semaine 10
Quiz 2 2.5% Semaine 12
Examen final 32.5% Semaine 14
TP2 10% Semaine 15

Entente à signer à la semaine 2.

Notes de cours

Le code source des exemples donnés dans le cours est disponible dans le dépôt correspondant.

Les solutions des laboratoires sont disponibles ici.

Semainier des séances

# Semaine Diapositives Laboratoires
1 6-10 Janvier Chapitre 0 : Introduction - pdf 🖼
Chapitre 1 : Bases de la programmation fonctionnelle - pdf 🖼
Laboratoire 1
2 13-17 Janvier Chapitre 2 : Fonctions et récursivité - pdf 🖼 Laboratoire 2
3 20-24 Janvier Chapitre 3 : Types fonctionnels - pdf 🖼
Énoncé du TP0
Laboratoire 3
4 27-31 Janvier Chapitre 3 : Types fonctionnels (suite) - pdf 🖼
Chapitre 4 : Fonctions d'ordre supérieur - pdf 🖼
Quiz 1 (sur Moodle)
Laboratoire 3 (suite)
5 3-7 Février Chapitre 4 : Fonctions d'ordre supérieur (suite) Laboratoire 4
6 10-14 Février Chapitre 5 : Encapsulation et modules - pdf 🖼
Remise du TP0 (sur Gitlab)
Énoncé du TP1
Laboratoire 5
7 17-21 Février Chapitre 6 : Preuves de programmes - pdf 🖼 Laboratoire 6
8 24-28 Février Examen intra - 24 Février de 18:00 à 21:00 au DS-R510 Pas de labo
9 10-14 Mars Correction de l'intra
Chapitre 7 : Programmation logique - pdf 🖼
Laboratoire 7
10 17-21 Mars Chapitre 7 : Programmation logique (suite)
Remise du TP1 (sur Gitlab)
Énoncé du TP2
Laboratoire 8
11 24-28 Mars Chapitre 11 : Programmation par contraintes - pdf 🖼 Laboratoire 9
12 31 Mars - 4 Avril Chapitre 8 : Interprétation d'un langage fonctionnel - pdf 🖼
Quiz 2 (sur Moodle)
Laboratoire 10
13 7-11 Avril Chapitre 9 : Typage - pdf 🖼 Laboratoire 11
14 14-18 Avril Examen final - 14 avril de 18:00 à 21:00 au DS-R510 Correction de l'examen
15 21-25 Avril Congé
Remise du TP2 (sur Gitlab)
Pas de labo

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

Pour la partie en OCaml :

Pour la partie en Prolog :

Pour dessiner des arbres de résolutions, voir sldnfdraw-dot.