Lectures related to Axiom | EPFL Graph Search

Covers the postulates of Quantum Mechanics and examples with quantum bits, including observables and unitary matrices.

Introduces the concept of categories essential for understanding group theory.

Introduces the axioms of connection in Euclidean geometry, emphasizing unique lines and non-collinear points.

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

Covers the principle of induction for natural numbers and the importance of caution in its application.

Explores quantum bits, axioms, examples, Shor algorithm, measurements, Hilbert space, and dynamics.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Discusses the construction and uniqueness of real numbers from rational numbers.