Couvre la mise en œuvre et les opérations des structures de données de base telles que les piles, les files d'attente et les listes liées, et introduit des arbres de recherche binaires.
Explore la plus longue sous-séquence commune et les arbres de recherche binaires optimaux, en discutant des algorithmes et des probabilités pour des structures de recherche efficaces.
Couvre la mise en œuvre et la vérification de l'encodeur et du décodeur pour les codes sans préfixe, y compris les classes et les types, les lemmas sur les arbres, et le théorème principal.
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.
Introduit le balayage parallèle gauche dans Scala, couvrant ses propriétés, des solutions séquentielles, et des techniques de calcul parallèles efficaces.
Explore les arbres de recherche binaires optimaux pour minimiser les coûts de recherche en utilisant la programmation dynamique et les formulations récursives.
