Hashing et triCouvre le hachage, le tri, le hachage extensible, le hachage linéaire et le tri externe.
Résoudre les récurrencesSe concentre sur la résolution de récurrences dans des algorithmes de division et de conquête en utilisant diverses techniques et exemples.
Types et relations inductivesDiscute de l'importance des types, des systèmes de types malsains et des relations inductives pour le système de type d'un petit langage.
