Lectures related to Recurrence: Induction

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.

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

Explores recursion and induction for mathematical proofs through recursive algorithms and functions.

Introduces modular arithmetic, its properties, and applications in cryptography and coding theory.

Explores the axiom of separating the plane into two half-planes and the concept of interior points.

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

Covers the organization of real numbers, axioms, and bounds, including infimum and supremum.

Explores the proof of the Prime Number Theorem and its implications in number theory.