Lectures related to Truth | EPFL Graph Search

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Covers Predicate Logic, focusing on Quantifiers, CNF, and DNF.

Predicate Logic: Quantifiers and Normal Forms

Explores predicate logic, focusing on quantifiers and normal forms, emphasizing the importance of finding witnesses and counterexamples.

Propositional Logic: Translations and Equivalences

Covers translating natural language to propositional logic and proving tautologies.

Logic Systems: Basics and Operators

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.

Why Should We Avoid Using Stereotypes?

Discusses the distortion of reality caused by stereotypes and the importance of avoiding their use.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits from functional descriptions and truth tables.

Introduction & Propositional Logic

Covers the basics of propositional logic, logical connectives, truth tables, and compound propositions.

Logic Synthesis: Designing Efficient Digital Circuits

Discusses logic synthesis techniques for designing efficient digital circuits using minterms, maxterms, and new gates like XOR and XNOR.

Discrete Mathematics: Logic & Structures

Covers propositional logic, truth tables, and problem-solving strategies in discrete mathematics.

Predicate Logic: Summary of Week 2

Covers the concept of universe of discourse and truth values in predicate logic.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, compound propositions, and truth tables.

Simple Code Generation for if

Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.

Proofs: Logical Equivalence and Inference Rules

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

FSM Design and Synthesis

Explains the design and synthesis of Finite State Machines in logic systems.

Propositional Logic: Basics and Equivalences

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Propositional Logic: Implication and Compound Propositions

Covers logical connectives, implication, biconditional, and compound propositions in propositional logic.

Propositional Logic: Basic Logical Connectives

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

Sparsest Cut: ARV Theorem

Covers the proof of the Bourgain's ARV Theorem, focusing on the finite set of points in a semi-metric space and the application of the ARV algorithm to find the sparsest cut in a graph.

Propositional Logic: Basics and Applications

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