Couvre les algorithmes de tri, l'analyse de division et de conquête, la résolution des récurrences par induction, la complexité des sols et des plafonds et la méthode Master.
Couvre les relations, les séquences et les posets, en mettant l'accent sur des propriétés telles que l'antisymétrie et la transitivité, et introduit des progressions arithmétiques et géométriques.