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 langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Explore les temps d'arrêt dans les martingales et le mouvement brownien, en discutant des propriétés de convergence et de la forte propriété de Markov.
