Manuel de conception raisonnée des algorithmes présentant les bases théoriques et techniques illustrées par des exemples. Après des rappels sur le raisonnement, les structures de données et la complexité, les grandes méthodes de construction d'algorithmes sont présentées : invariants, récursivité, essais successifs, PSEP, programmation dynamique, etc.