Algorithmique et Approche Fonctionnelle

Dernières nouvelles du cours

Documents disponibles

Les notes de cours

• Cours 1 Premiers pas
• Cours 2 Récursivité
• Cours 3 Types structurés
• Cours 4 Les listes
• Cours 5 Complexité et algorithmes de tri
• Cours 6 Ordre supérieur et polymorphisme
• Cours 7 Itérateurs sur les listes
• Cours 8 Les arbres
• Cours 9 Arbres de recherche
• Cours 10 Arbres équilibrés

Les énoncés des sujets de TD

• Sujet N°1 Premiers pas en Objective Caml (Correction)
• Sujet N° 2 Fonctions récursives
• Sujet N° 3 Les listes (Correction)
• Sujet N° 4 Les tours de Hanoï: Types somme, fonctions récursives (Correction)
• Sujet N° 5 Ordres et tris (Correction)
• Sujet N° 6 Itérateurs sur les listes
• Sujet N° 7 Arbres (Correction)

Les énoncés des sujets de TP

• Sujet N°1 Casse brique sans briques (Correction)
• Sujet N° 2 Boulier (Correction)
• Sujet N° 3 ( TP noté sur deux séances) (Correction)
• Sujet N° 4 La calculatrice (Correction)

Enseignants intervenant en 2007-2008

• Sylvain Conchon - conchon (at) lri (point) fr
• Louis Mandel - mandel (at) lri (point) fr
• Matthieu Sozeau - sozeau (at) lri (point) fr
• Mathieu Tracol - tracol (at) lri (point) fr
• Véronique Ventos - ventos (at) lri (point) fr
• Matthieu Josuat-Verges - josuat (at) lri (point) fr

Calendrier

• Cours : Lundi 10 Septembre 2007
• TD : Semaine du 17 Semptembre 2007
• TP : Semaine du 24 Semptembre 2007

Cours

Lundi 15h30-17h, amphi H1, bâtiment 333 (Sylvain Conchon)

TD/TP

Contrôle des connaissances

Il portera sur :

• Les comptes rendus de TP : coefficient 1
• Le partiel (le lundi 5 Novembre): coefficient 2
• L'examen (le mercredi 19 Décembre, de 9h à 11h): coefficient 3

Pour toutes remarques, contacter Sylvain Conchon - conchon (at) lri (point) fr