Lecture
Introduction & Propositional Logic
Related lectures (69)
Valid Arguments: Understanding Propositional Logic
Explains how premises imply conclusions using inference rules and truth tables in propositional logic.
Simple Code Generation for if
Covers the compilation of statement sequences, control structures, boolean representation, and comparisons in WebAssembly code generation.
Automating First-Order Logic Proofs Using Resolution
Covers first-order logic syntax, semantics, and resolution for proving properties.
Predicate Logic: Nested Quantifiers
Explores nested quantifiers in logic and their translation into natural language and mathematical statements.
Sequential Systems: MicrocontrollersMOOC: Understanding Microcontrollers
Explores sequential systems, state machines, microcontroller solutions, logical systems, and practical applications in real-world projects.
Propositional Calculus
Covers the basics of propositional calculus and its importance in computer science.
Soundness and Completeness of a Propositional Proof System
Explores the importance of soundness and completeness in a propositional proof system.
Finite Systems Expressed with Formulas
Explores encoding finite systems with boolean functions, propositional logic, inductive invariants, and formal proof systems.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Predicate Logic: Summary of Week 2
Covers the concept of universe of discourse and truth values in predicate logic.