Lectures related to Sets, Functions and Relations: Constructing Sets

Covers subsets, power sets, and functions through an engaging quiz format.

Predicate Logic: Universal and Existential Quantifier

Introduces predicate logic and explains how to determine truth values using quantifiers.

Introduction to Analysis: Understanding Real Numbers and Proofs

Covers the basics of analysis, including real numbers, proofs, sets, and operations.

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.