suivant: Définitions par induction monter: Algorithmique précédent: Exercice 19 - Représentation Table des matières

Arbres

Sous-sections

Définitions par induction
Preuves par induction
- Lien avec les preuves par récurrence
- Application aux EATPs
  - Exercice 1 - Opérandes et opérateurs
Algorithmique dans les arbres
Arbres -naires
- L'heure du code
  - Exercice 5 - Arbres binaires et -aires
  - Exercice 6 - Arbres syntaxiques

klaus 2010-08-05