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
Premiers pas en Scheme
Spécifications, définitions
Récursion sur entiers naturels
Récursion sur listes
Récursion avancée sur listes
Fonctionnelles et itérateurs
Citation et barrière d'abstraction
Arbres binaires
Arbres binaires de recherche
Arbres généraux
Expressions symboliques
Processus d'évaluation
Annales
Les annales de cette UE sont
ici.