Licence S&T

Algorithmique et Programmation Fonctionnelle

Janvier 2005-Juin 2005

TD4

Dernière mise à jour :  7 février 2004



Séances concernant le chapitre 2: "Définitions récursives"

Dans un premier temps, il faut guider les étudiants dans l'étude d'une fonction, en leur fournissant spécification précise et relations de récurrence, le travail consistant à fournir la réalisation récursive. On peut aussi sur un ou deux exemples, faire observer l'évaluation "à la main" en raisonnant sur la liste des appels récursifs engendrés. Dans un deuxième temps, on ne fournit plus que les parties gauches des relations. Enfin, lorsque le lien entre relations de récurrence et réalisation récursive semble acquis, on ne demande plus que les relations de récurrence.

Séance 4

Distribuer

Ramasser

Annoncer

En séance :

Hors séance :

Corriger :

Après