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.
