Lecture
Propositional Logic: Summary of Week 1
Related lectures (32)
Mathgraph Theorem Prover
Introduces the Mathgraph Theorem Prover, showcasing its unique approach to representing propositions and organizing graphs for first-order logic.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Logical Equivalences: Constructing, Proving, and Applying
Covers the process of showing logical equivalences through examples and introduces De Morgan's Laws.
Predicate Logic: Quantifiers and Truth Values
Explores existential quantifiers, truth values, and composite statements in predicate logic.
Propositional Logic: Quiz Answers
Covers the answers to a quiz on propositional logic, emphasizing the importance of clarity in logical statements.
Logical Equivalences: Part 1
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Numbers and Booleans
Introduces numbers and booleans in Python, covering numeric types, arithmetic operations, logical operations, and comparisons.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Logical Equivalences: Constructing and Proving Equivalences
Covers constructing and proving logical equivalences, including De Morgan's Laws and tautology proofs.
Digital Systems Overview: From Transistors to Integrated Circuits
Explores the evolution of digital systems from transistors to integrated circuits and their impact on consumer applications and IoT technologies.