LIFLC ? Logique classique TD2 ? Induction - CNRS
Exercice 2 : Ensemble inductif des arbres binaires de recherche. Soit E un ...
Définir la fonction récursive plusPetitElement qui renvoie le plus petit élément d'
un arbre binaire de ... 1. c'est l'ensemble N de l'exercice 1. ... Soit Fstable l'
ensemble des sous-ensembles de F qui sont stables par les règles de
construction.
Un extrait du document