Fundamental GroupsExplores fundamental groups, homotopy classes, and coverings in connected manifolds.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Continuous Time Markov ChainsCovers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.