Propositional Calculus

Related lectures (28)

Page 1 of 3

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.

Explores propositions, proofs, and contraposition in mathematical theory, emphasizing logical rules and proof methods.

Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.

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

Explores historical mathematical proofs, decision problems, deductive systems, probabilistic and quantum proofs, and interactive proof systems.

Covers Hoare Logic, its foundations, applications, and significance in program verification.