Algorithme et programmation fonctionnelle

Diplômes intégrant cet élément pédagogique :

Descriptif

Suite à ce cours un étudiant sera capable de :
- Modéliser un problème en utilisant le paradigme de programmation fonctionnelle
- Maitriser la récurisvité, les structures de donnée : listes, arbres
- Calculer la complexité d'un programme
- Faire un preuve d'un programme
- Programmer en Ocaml de manière modulaire et efficace
Ces compétences seront évaluées par un projet mettant en oeuvre les différents points du programme. Exemples de projets : Deplacement en 3D dans un labyrinthe, simulateur de gravité (Angry Birds), jeu de rami ...

Bibliographie

- Xavier Leroy et Pierre Weis. Manuel de référence du langage Caml. InterEditions, Paris, 1993.
- Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'applications avec Objective Caml. Editions O'Reilly, Paris, 2000.
- Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation. Ediscience (Collection Informatique),
Paris, 1995.

Informations complémentaires

Lieu(x) : Grenoble - Saint-Martin d'Hères
Langue(s) : Français