Lectures related to Logic | EPFL Graph Search

Covers propositions, logical connectives, truth tables, and propositional logic language.

Introduces the International Mathematical and Logical Games Championship, a fun and challenging event for participants aged 8 to 88.

Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.

Covers the basics and applications of Sequent Calculus in Logic and Proof Theory, including Cut Elimination and practical proof analysis.

Explores proof techniques in logic, demonstrating how to prove or disprove propositions using negations and assumptions.

Presents a mathematical puzzle involving a bear family and honey consumption.

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

Explains constructing DNF and CNF in propositional logic and their complexity.