Home – Research – Teaching

Divers

Informations générales

• Cours : INF6120, Programmation fonctionnelle et logique
• Session : automne 2026
• Groupe : 20
• Professeur : Samuele Giraudo
• Coordinateur : Samuele Giraudo

Plan du cours

Accessible ici.

Entente d’évaluation

Accessible ici.

Calendrier des séances

Le cours intégral sera disponible ici.

Les diapos cours par cours sont téléchargeables ci-dessous.

Attention : bien vérifier la date de dernière modification.

Séance 1

• Mardi 8 septembre 2026, 13 h 30 à 16 h 30.
• Cours 01 (dernière modification : 2025-09-15)
• Thèmes abordés : informations générales ; comparaison des paradigmes impératif, fonctionnel et logique ; introduction en surface à l’OCaml.

Séance 2

• Mardi 15 septembre 2026, 13 h 30 à 16 h 30.
• Cours 02 (dernière modification : 2025-09-15)
• Thèmes abordés : exemples simples de manipulation de listes en OCaml ; machine de Turing ; Turing-complétude ; problème de l’arrêt ; bases du lambda-calcul ; notion de paradigme de programmation ; transparence référentielle ; vérification des types (statique et dynamique) ; attribution des types (statique et dynamique ; attribution des types (explicite et implicite).

Séance 3

• Mardi 22 septembre 2026, 13 h 30 à 16 h 30.
• Cours 03 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 4

• Mardi 29 septembre 2026, 13 h 30 à 16 h 30.
• Cours 04 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 5

• Mardi 6 octobre 2026, 13 h 30 à 16 h 30.
• Examen.

Séance 6

• Mardi 13 octobre 2026, 13 h 30 à 16 h 30.
• Cours 06 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 7

• Mardi 20 octobre 2026, 13 h 30 à 16 h 30.
• Cours 07 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 8

• Mardi 27 octobre 2026, 13 h 30 à 16 h 30.
• Cours 08 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 9

• Mardi 3 novembre 2026, 13 h 30 à 16 h 30.
• Cours 09 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 10

• Mardi 10 novembre 2026, 13 h 30 à 16 h 30.
• Examen.

Séance 11

• Mardi 17 novembre 2026, 13 h 30 à 16 h 30.
• Cours 11 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 12

• Mardi 24 novembre 2026, 13 h 30 à 16 h 30.
• Cours 12 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 13

• Mardi 1er décembre 2026, 13 h 30 à 16 h 30.
• Cours 13 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 14

• Mardi 8 décembre 2026, 13 h 30 à 16 h 30.
• Cours 14 (dernière modification : à venir)
• Thèmes abordés : à venir

Séance 15

• Mardi 15 décembre 2026, 13 h 30 à 16 h 30.
• Examen.

Examens

Il est fortement recommandé de bien prendre connaissance des modalités des examens qui figurent dans le plan du cours.

Pour se familiariser sur la forme, voici un exemple d’examen.

Devoirs d’entraînement

À venir.

Ateliers

• Les jeudis de 13 h 30 à 15 h 30.
• Sujets accessibles ici.
• Auxiliaire : Louis-Félix Berthiaume.