This page (and subpages) contains lecture material for my students, mostly in French, from 2023.
See my old page devoted to lectures between 2009 and 2020.
See another old page devoted to lectures between 2020 and 2022.
Mathématiques pour l’informatique (INF1132), groupe 40.
Programmation fonctionnelle et logique (INF6120), groupe 20.
Mathématiques pour l’informatique (INF1132), groupe 10.
Mathématiques pour l’informatique (INF1132), groupe 40.