Lectures related to Proofs: Logic, Mathematics & Algorithms

Explores subset properties, contraposition, and equivalence in linear algebra.

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Explores geodesic convexity in metric spaces and its applications, discussing properties and the stability of inequalities.

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

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

Explores rules of inference, quantified statements, and proof methods in logic and mathematics.

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.

Covers the approximation of functions in Sobolev spaces using smooth functions.