Login to filter by course Login to filter by course Reset
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Covers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
Covers hitting probabilities in Markov chains with disjoint subsets, the function h(i), theorems, proofs, and expected time to hit calculations.
Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Covers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.
