Explores fundamental groups, homotopy classes, and coverings in connected manifolds.
Covers continuous differentiability, the Bernoulli-l'Hôpital rule, and finding extrema using derivatives.
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Covers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.
Introduces informal proofs and their practical applications in computer science and mathematics, emphasizing the importance of proving theorems through direct and indirect methods.
Explores the extension of the chain rule to higher dimensions and compositions of functions.
Introduces informal proofs, explores practical applications, and explains theorem proofs using direct and indirect methods.
