Home – Research – Teaching

Divers

Informations générales

• Cours : INF6120, Programmation fonctionnelle et logique
• Session : automne 2025
• Groupe : 20
• Professeur : Samuele Giraudo
• Coordinateurs : Samuele Giraudo et Quentin Stiévenart

Plan du cours

Accessible ici.

Entente d’évaluation

Accessible ici.

Calendrier des séances

Le cours intégral est ici (dernière modification le 2025-09-02).

Séance 1

• Mardi 3 septembre 2025, 13 h 30 à 16 h 30.
• Thèmes abordés : -

Séance 2

• Mardi 9 septembre 2025, 13 h 30 à 16 h 30.
• Thèmes abordés : -

Séance 3

• Mardi 16 septembre 2025, 13 h 30 à 16 h 30.
• Thèmes abordés : -

Séance 4

• Mardi 23 septembre 2025, 13 h 30 à 16 h 30.
• Thèmes abordés : -

Examens

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

Examen 1

• Date : mardi 21 octobre 2025, 13 h 30 à 16 h 30.
• Lieu : salle habituelle du cours.
• Il porte sur toute la matière vue lors des 7 premières séances de cours.
• Types (non exhaustifs) de questions qui pourront être posées :
  • définir une fonction réalisant une tâche décrite ;
  • décrire ce que renvoie une fonction donnée ;
  • devenir et expliquer le type d’une fonction donnée ;
  • écrire une fonction ayant un type donné ;
  • expliquer pourquoi une expression donnée est bien/mal typée ;
  • définir un type répondant à une spécification particulière ;
  • utiliser un type prédéfini pour une tâche particulière ;
  • comprendre si une expression est problématique.

Examen 2

• Date : mardi 9 décembre 2025, 13 h 30 à 16 h 30.
• Lieu : salle habituelle du cours.
• Il porte sur toute la matière vue lors des 14 premières séances de cours.
• Types (non exhaustif) de questions qui pourront être posées :
  • définir une fonction (en OCaml) réalisant une tâche décrite (principalement sur des listes ou d’autres structures récursives comme des arbres) ;
  • écrire une expression dont la valeur est obtenue en réalisant plusieurs traitements sur une liste ;
  • démontrer par induction structurelle qu’une fonction vérifie une certaine propriété ;
  • définir un prédicat (en Prolog) vérifiant une spécification donnée (cela peut faire intervenir des listes, d’autres types de données ou encore des entiers et des contraintes sur ces derniers) ;
  • comprendre et expliquer ce qu’un prédicat donné met en relation ;
  • donner le résultat de l’unification de termes ;
  • expliquer et suivre pas à pas le cheminement de résolution d’une requête.

Ateliers

• Les jeudis de 13 h 30 à 15 h 30.
• Sujets accessibles ici.
• Auxiliaires : Félix Larose-Gervais et Sublime Tshimanga Tshimpangila.