Cette page est la page officielle du cours 2010/2011
« AP1 ». Elle est alimentée au fur et à mesure de l'avancée du cours
Nouvelles fraîches
Interrogation écrite
Enoncé Correction
Des exercices de soutien
pdf
Procédure de dépot
le sujet du contrôle 2010
le corrigé du contrôle 2010
Un article de La Recherche sur décidabilité/indécidabilité
lien
Transparents de cours
N'imprimez pas les transparents, ils sont distribués en cours.
- conférence d'introduction : la programmation et les langages de programmation(PDF)
- cours introductif (PDF)
- présentation des traits fonctionnels de OCAML (PDF). Phrases OCaml utilisés dans ce cours (fichier)
- récursivite PDF
- types sommes avec constructeurs PDF
- enregistrements PDF
(cette partie ne sera pas traitée en cours)
- ordre supérieur PDF
- conception descendante - la date du lendemain PDF
TD et TP
Projets
Informations générales pour le projet
PDF
Comment écrire un rapport et un exemple de
rapport bien découpé et bien présenté
Les sujets 2010
groupe 1.1 sujet complément bibliothèque graphique
groupe 1.2 sujet
groupe 2.1 sujet complément
groupe 2.2 sujet complément
groupe 3.1 sujet complément
groupe 3.2 sujet
groupe 4.1 sujet
groupe 4.2 sujet
Soutenances
La soutenance est indivuelle. Vous serez convoqués un par un (surveillez votre mail et les affichages).
Une soutenance dure une vingtaine de minutes. Elle se déroule approximativement de la manière suivante :
- l'enseignant installera le code que vous avez dépose
- vous aurez à le compiler (en entier)
- une présentation générale descendante (top-down) vous sera demandée : en 5 minutes : le problème, sa décomposition. Vous pouvez préparer un ou deux transparents (version papier)
- l'enseignant vous questionnera sur quelques points particuliers
- vous présenterez quelques tests
- l'enseignant proposera ses tests
Pour la soutenance, vous dessinerez et amènerez le graphe d'appels de votre projet (un graphe où un arc va de x vers y dès que x peut appeler y). Vous pourrez vous en servir pour la soutenance et le laisserez à l'enseignant.
Équipe pédagogique
Catherine Dubois
Julien Forest
Louis Gacogne
Guillaume Burel
William Bartlett
Benoit Robillard
Pierre-Nicolas Tollitte
Philippe Valembois
.
Examens et notation
L'évaluation de ce module comprend :
Bibliographie
Tous les ouvrages cités ci-dessous couvrent un périmètre plus large que celui du cours. Ils sont un très bon complément du cours pour découvrir plus amplement la programmation fonctionnelle et le langage Ocaml.
Catherine Dubois et Valérie Ménissier-Morain.
Apprentissage de la programmation avec OCaml. Hermès, 2004
(cf lien).
Guy Cousineau et Michel Mauny.
Approche fonctionnelle de la programmation.
Dunod, 1995
(cflien2).
Pierre Weis et Xavier Leroy.
Le langage Caml
Dunod, 1999.
version électronique
Philippe Nardel. Programmation fonctionnelle, générique et objet : Une introduction avec le langage Ocaml. Vuibert 2005
Emmanuel Chailloux, Pascal Manoury et Bruno Pagano.
Développement d'Applications avec Objective Caml.
O'Reilly, 2000 (cf lien)
L. Gacogne, Programmation par l'exemple en CAML, éditions Ellipses 2004
Jon D. Harrop. OCaml for Scientists. Flying Frog Consultancy Ltd, 2005.
Ce livre introduit la programmation en Objective Caml sous l'angle de ses utilisations pour le calcul scientifique. De nombreux exemples couvrent tout le spectre depuis le calcul numérique de base jusqu'à la visualisation 3D temps-réel avec OpenGL.
Autres liens