Programmation fonctionnelle et logique 2000-2001

Cours

Format : PostScript compressé (.ps.gz) ou Portable Document Format (.pdf). (La version de référence est la version postscript.) Les sources sont disponibles en bas de cette page.

Séances de travaux dirigés

Séance Thématique PostScript compressé (.ps.gz) Portable Document Format (.pdf)
1 Définitions, filtrage Sujet   Corrigé Sujet   Corrigé
2 Récursivité Sujet   Corrigé Sujet   Corrigé
3 Récursivité Sujet   Corrigé Sujet   Corrigé
4 Typage et polymorphisme Sujet   Corrigé Sujet   Corrigé
5 Fonctionnelles sur listes Sujet   Corrigé Sujet   Corrigé
6 Exceptions Sujet   Corrigé Sujet   Corrigé
7 Logique Sujet   Corrigé Sujet   Corrigé
8 Premiers programmes Prolog Sujet   Corrigé Sujet   Corrigé
9 Programmes Prolog et coupure Sujet   Corrigé Sujet   Corrigé
10 Révisions Sujet   Corrigé Sujet   Corrigé

Séances de travaux pratiques

Séance Thématique PostScript compressé (.ps.gz) Portable Document Format (.pdf)
1 Listes et récursivité Sujet   Corrigé Sujet   Corrigé
2 Arbres n-aires et fonctionnelles Sujet   Corrigé Sujet   Corrigé
3 Arbres n-aires et exceptions Sujet   Corrigé Sujet   Corrigé
4 Petits programmes Prolog Sujet   Corrigé Sujet   Corrigé
5 Décomposition d'un nombre en facteurs premiers Sujet   Corrigé Sujet   Corrigé

Devoir en temps libre

PostScript compressé (.ps.gz) Portable Document Format (.pdf)
Sujet  Corrigé Sujet  Corrigé

Examens :

Session PostScript compressé (.ps.gz) Portable Document Format (.pdf)
Juin Sujet  Corrigé Sujet  Corrigé
Septembre Sujet  Corrigé Sujet  Corrigé

Annales des TDs, des TPs, du devoir en temps libre et des examens des années précédentes (avec les corrigés)

PostScript compressé (.ps.gz) Portable Document Format (.pdf)
Sujet Sujet

Sources du cours, des TDs, des TPs, du devoir en temps libre et des examens (LaTeX)

Archive gzippée, Archive bzippée.
ocaml-tex: un script perl pour intégrer automatiquement dans un source LaTeX le résultat de l'évaluation d'expressions ocaml, ce script est une version modifiée de caml-tex (perl script to include in LaTeX source fuiles the result of the evaluation of caml expression; this script is a badly hacked version of caml-tex).

Frédéric Vivien
Last modified: Mon Jul 15 15:23:28 CEST 2002