Lectures related to Untitled | EPFL Graph Search

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

Explains how entropy measures uncertainty in a system based on possible outcomes.

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

Explores the evolution of the distribution function describing particles in phase space.

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Introduces logic, proofs, sets, functions, and algorithms in mathematics and computer science.

Introduces Cartesian product and induction for proofs using integers and sets.