Programmation Fonctionnelle Avancée (2019-2020)

Les transparents du cours de PFA

Cours 1 (version à imprimer) (demo1.ml)
Cours 2 (version à imprimer) (demo2.ml)
Cours 3 (version à imprimer) (demo3.ml)
Cours 4 (version à imprimer) (arith.ml)
Cours 5 (version à imprimer)
Cours 6 (version à imprimer) (sort.ml, sort2.ml, tri.ml, tri.mli, test.ml, test2.ml)
Cours 7 (version à imprimer) (approx_pi.ml, cardioide.ml, copy_file.ml, erathostene.ml, mandelbrot.ml)
Cours 8 (version à imprimer) (fwall.ml)
Cours 9 (version à imprimer) (maze.ml)
Cours 10 (version à imprimer)

Les énoncés de TD / TP

Semaine 1 (TD) (correction)
Semaine 2 (TD) (correction)
Semaine 3 (TP) (correction proposée par Rebecca)
Semaine 4 (TP) (casse briques, correction du jeu du morpion proposée par Rebecca)
Semaine 5 (TD) (correction)
Semaine 6 (TD / Révisions)
Semaine 7 (TP)
Semaine 8 (TD)
Semaine 9 (TD)
Semaine 10 (TP)

Projets

Deux projets sont proposés cette année autour du jeu Sudoku. Le premier consiste à programmer un jeu graphique interactif. Le second a pour objectif de réaliser un algorithme pour trouver les solutions des grilles en utilisant et programmant un SAT solveur. Plus d'informations ici.

Les sujets des années précédentes

2019 (partiel [correction])
2018 (partiel [correction],examen [correction],rattrapage)
2017 (partiel [correction],examen [correction],rattrapage)
2016 (partiel,examen [correction],rattrapage)
2015 (partiel,examen,rattrapage)
2014 (partiel,examen,rattrapage)
2013 (partiel,examen,rattrapage)
2012 (partiel,examen,rattrapage)

Les enseignants (TD ou TP)

Groupe DL/Magistères du mercredi : Alice Jacquot (jacquot@lri.fr)
Groupe Info du jeudi : Alexandrina Korneva (alexandrina.korneva@u-psud.fr)
Groupe Info du vendredi :Rebecca Zucchini (rebecca.zucchini@ens-cachan.fr)
Groupe Miage du vendredi :Sylvain Conchon (sylvain.conchon@lri.fr)