Cette partie du cours est avant tout une introduction aux notions
fondamentales à la base de la programmation fonctionnelle (expressions,
definitions par cas, recursivite, fonctionnelles sur listes et arbres, preuves
de correction inductives, etc.), en suivant de près le livre
Approche fonctionnelle
de la programmation de Guy Cousineau.
Même si il n'y a pas de notes de cours proprement dites (pour cela on vous renvoie au livre de plus en haut), vous pouvez consulter ici les fichiers des programmes et exemples vus en cours, et surtout, à l'aide du copier-coller, les tester: