Propositional Calculus | EPFL Graph Search

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

Covers the basics of formal logic, focusing on logical expressions and mathematical proofs.

Covers recursively enumerable languages, Turing machines, and the construction of undecidable languages.

Covers propositions indexed by vectors, proof by induction, and Cartesian products of sets.

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