Explique les opérations d'arbre de recherche binaire, en se concentrant sur l'insertion, la recherche et la conversion de liste, en mettant l'accent sur la vérification formelle et le débogage.
Explore la convergence en droit pour les variables aléatoires, y compris le théorème de Kolmogorov et les preuves basées sur les lemmes de probabilité.
