Lectures related to Proof calculus

Analysis IV: Measurable Sets and Properties

Covers the concept of outer measure and properties of measurable sets.

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

Analysis IV: Convergence Theorems and Integrable Functions

Covers convergence theorems and integrable functions, including the Lebesgue integral and Borel-Cantelli sets.

Central Limit Theorem

Explores the Central Limit Theorem, convergence in law, characteristic functions, and moment problems in probability theory.

Sequent Calculus with Equality

Covers Sequent Calculus with Equality, focusing on atomic formulas and substitution rules.

Sparsest Cut: ARV Theorem

Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.

Distance Board: Compression

Covers the concept of compression and distance boards.