Lectures related to Recurrence Exercise Correction

Covers examples of direct and indirect proofs in mathematics.

Discusses inductive propositions, their definitions, and applications in reasoning and evaluation techniques in Coq.

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Covers the basics of proofs, defining sets, and applications between sets.

Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.

Explores the Supremum Theorem, its properties, proofs, and exercises.

Explores probability convergence, discussing conditions for random variable sequences to converge and the uniqueness of convergence.

Explores fundamental groups, homotopy classes, and coverings in connected manifolds.