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