à l'aide, en caml

Fermé
Adleni - 24 déc. 2011 à 21:55
BmV Messages postés 91410 Date d'inscription samedi 24 août 2002 Statut Modérateur Dernière intervention 4 décembre 2024 - 25 déc. 2011 à 11:08
Bonjour,

bjr

les arbres binaires

on définit récursivement :
*trois fonctions comptant:
-les noeuds,
-les feuilles
-la longueur de la plus grande branche
* le prédicat "isom" indiquant que deux arbres ont memes forme

merci

1 réponse

BmV Messages postés 91410 Date d'inscription samedi 24 août 2002 Statut Modérateur Dernière intervention 4 décembre 2024 4 696
25 déc. 2011 à 11:08


Ceci est une information vraiment très intéressante et hors du commun.
Merci de nous en avoir fait part.


                
0