Programmation fonctionnelle et logique 1999-2000
Cours
01 : présentation de Ocaml
02 : listes et filtrage
03 : programmation fonctionnelle vs. programmation impérative
04 : récursivité
05 : typage et polymorphisme
06 : fonctionnelles sur listes
07 : types sommes et types produits
08 : les exceptions
09 : éléments de logique
10 : présentation de Prolog
11 : l'unification... ou pourquoi « 1 + 1 » n'est pas égal à 2
12 : contrôle d'exécution et coupure
Sujets de TD et corrigés
TD 01 : définitions, filtrage sujet, corrigé
TD 02 : récursivité sujet, corrigé
TD 03 : récursivité sujet, corrigé
TD 04 : typage et polymorphisme sujet, corrigé
TD 05 : fonctionnelles sur listes sujet, corrigé
TD 06 : arbres binaires sujet, corrigé
TD 07 : logique sujet, corrigé
TD 08 : premiers programmes Prolog sujet, corrigé
TD 09 : programmes Prolog et coupure sujet, corrigé
TD 10 : révisions sujet, corrigé
Sujets de TP et corrigés
TP 01 : listes et récursivité sujet, corrigé
TP 02 : arbres n-aires : fonctionnelles et exceptions sujet, corrigé
TP 03 : petits programmes Prolog sujet, corrigé
TP 04 : le compte est bon sujet, corrigé
Sujet du Projet
Le compte est bon sujet, corrigé
Annales des TD, TP et du Projet, avec les corrigés
Format normal (40 pages)
Format court (20 pages)
Sujet de l'examen
Sujet
Corrigé
Frédéric Vivien