Lectures related to Logic | EPFL Graph Search

Covers the concept of logical equivalence in proofs and inference rules.

Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.

Explores predicate logic, covering quantifiers, equivalences, and translations from natural language.

Covers the basics of propositional logic, its history, language, and computing applications.

Explores the distribution of quantifiers, logical equivalences, and negations in predicate logic.

Covers the basics of discrete mathematics, including logic, structures, and algorithms.

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