Retour accueil UPMCPhoto1 UPMCPhoto2 UPMC
UE: Programmation récursive
Site permanent

L'unité d'enseignement « Programmation récursive » est une UE de niveau (100) initiation relevant de la licence d'informatique. Elle possède un volume de 6 ECTS et s'étend sur 12 semaines. Elle est placée sous la responsabilité de Queinnec, christian.

Description

Cet enseignement est une introduction à l'informatique, vue comme une science, avec ses problématiques et ses idées fondamentales mais aussi ses tours de main. Le but choisi est de montrer le processus par lequel un ordinateur convertit un texte (le programme représentant un calcul) en une valeur (le résultat obtenu après avoir effectué ce calcul).

L'enseignement est divisé en deux saisons:

  • La première saison aborde les principes fondateurs de la programmation (alternative et récursion) puis les listes;
  • La seconde saison présente les arbres ainsi que leurs liens avec les expressions de programmes.

L'enseignement s'appuie sur un cédérom contenant tout le matériel pédagogique nécessaire à son étude.

Préalables et buts pédagogiques

Bibliographie

  • Laurent Bloch. Initiation à la programmation avec Scheme. Editions Technip, 2000.

  • Anne Brygoo, Titou Durand, Maryse Pelletier, Christian Queinnec et Michèle Soria. Programmation récursive (en Scheme). Dunod, 2004.

  • Jean-Michel Hufflen. Programmation fonctionnelle en Scheme. De la conception à la mise en oeuvre. Masson, 1996.

  • Luc Moreau, Christian Queinnec, Daniel Ribbens et Manuel Serrano. Recueil de petits problèmes en Scheme. Scopos. Springer-Verlag, 1999. (cf. livre)

Contenu indicatif par semaine

  1. Premiers pas en Scheme

  2. Spécifications, définitions

  3. Récursion sur entiers naturels

  4. Récursion sur listes

  5. Récursion avancée sur listes

  6. Fonctionnelles et itérateurs

  7. Citation et barrière d'abstraction

  8. Arbres binaires

  9. Arbres binaires de recherche

  10. Arbres généraux

  11. Expressions symboliques

  12. Processus d'évaluation

Annales

Les annales de cette UE sont ici.