Explore les théorèmes de martingales, de mouvement brownien, de submartingales, de surveillance des descentes et de convergence avec des exemples pratiques.
Couvre l'étude des groupes de traduction sur l'intervalle [0,1] avec différentes phases et le théorème de représentation de Riesz sur l'espace de Hilbert.
Explore la recherche de bugs, la vérification et l'utilisation d'approches aidées à l'apprentissage dans le raisonnement de programme, montrant des exemples comme le bug Heartbleed et le raisonnement bayésien différentiel.