X

Programmation récursive

Ce MOOC est terminé, une seconde édition enrichie a eu lieu en 2015 mais est toujours disponible en http://programmation-recursive.net.

Christian Queinnec
Professeur émérite à l'UPMC.

Programme

  • Unité 1 : Prolégomènes

  • Unité 2 : Langage, syntaxe, valeurs

  • Unité 3 : Compléments linguistiques

  • Unité 4 : Récursion sur entiers naturels

  • Unité 5 : Récursion sur listes

  • Unité 6 : Fonctionnelles

  • Unité 7 : Barrière d'abstraction et arbres

  • Unité 8 : Arbres binaires de recherche, arbres généraux

  • Unité 9 : Expressions symboliques

  • Unité 10 : Processus d'évaluation

  • Examen final