Introduit des preuves informelles et leurs applications pratiques en informatique et en mathématiques, en soulignant l'importance de prouver des théorèmes par des méthodes directes et indirectes.
Explore les problèmes d'optimisation résolus avec des algorithmes gourmands et prouve l'optimalité de l'algorithme du caissier pour les pièces de monnaie américaines.
Plonge dans la théorie des probabilités avancées, couvrant les inégalités, les essais, les distributions et les calculs pour les probabilités et les attentes.
