Cette séance de cours se penche sur l'approximation des boucles en prouvant des propriétés simples de l'évolution des variables, par exemple en s'assurant qu'une variable ne fait que diminuer. Il passe ensuite à la récursion, expliquant comment définir mathématiquement des programmes définis récursivement et trouver des relations qui les satisfont.