Proofs and Computations: A Journey Through Mathematical Theory

Related lectures (29)

Page 2 of 3

Explores randomness in social processes, focusing on the selection of authority roles.

Explores interactive proofs, zero-knowledge, parallel composition, and cryptographic protocols.

Discusses randomness in social self-organization, exploring its role in democratic processes and the challenges of representation and accuracy.

Introduces Coq and focuses on proving the theorem and_comm step by step.

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

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

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

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