Couvre le théorème de décomposition de Doob pour les sous-martingales et explore les propriétés des mouvements browniens, la variation quadratique et les martingales continues.
Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.
