Welcome to my CS 245 resources page. You will find all sorts of goodies here on logic and computation. If you have any questions, feel free to email me at alice.gao AT uwaterloo DOT ca.
Happy learning!
Best, Alice
(S18 Slides) Intro to CS 245 (Updated Apr 30; For May 1)
(S18 Notes) Workbook PDF
Propositional Logic: Translations and Syntax
(S18 Slides) Intro to Propositional Logic (Updated Apr 30; For May 1 and 3)
(S18 Slides) Propositional Logic: Syntax and Structural Induction (Updated May 2; For May 3 and 8)
(S18 Notes) Diagrams for if, only if, and if and only if. (Updated May 7)
(S18 Notes) Parse tree examples. (Updated May 7)
Propositional Logic: Structural Induction
(S18 Notes) Unique Readability Theorem Proof (Empty) (Word format) (Updated May 7)
(S18 Notes) Unique Readability Theorem Proof (Empty) (Pages format) (Updated May 7)
(S18 Notes) Unique Readability Theorem Proof Solutions (Added May 8)
Propositional Logic: Semantics
(S18 Slides) Propositional Logic: Semantics (Added May 9; For May 10)
(S18 Slides) Propositional Logic: Equivalence, Dead Code, and Circuits (Added May 14; For May 15)
(F17 Notes) Proving that a set of connectives is not adequate
Propositional Logic: Semantic Entailment and Natural Deduction
(S18 Slides) Propositional Logic: Semantic Entailment (Added May 16; For May 17)
(S18 Slides) Propositional Logic: Natural Deduction (Added May 16; For May 24)
(S18 Notes) Natural Deduction rules (Added May 24)
(S18 Notes) Natural Deduction rules Annotated (Added May 24)
(S18 Notes) Natural Deduction rules (Huth and Ryan) (Added May 24)
(F17 Slides) Propositional Logic: Semantic Entailment and Natural Deduction
Predicate Logic: Introduction and Translations
(S18 Slides) Predicate Logic: Introduction and Translations (Posted June 13; For June 14)
Predicate Logic: Syntax
(S18 Slides) Predicate Logic: Syntax (Posted June 13; For June 14)
Predicate Logic: Semantics
(S18 Slides) Semantics of predicate formulas (Updated June 13; For June 14)
(F17 Notes) Evaluating terms and formulas without quantifiers
Predicate Logic: Semantic Entailment and Natural Deduction
(S18 Slides) Semantic entailment (Posted Jun 20)
(S18 Slides) Natural deduction (Updated Jun 21)
(S18 Slides) Soundness and Completeness of Natural Deduction (Posted Jun 27)
(S18 Slides) Introduction to Program Verification (Posted Jul 2)
(S18 Slides) Assignments and Conditionals (Updated Jul 5)
(S18 Notes) Assignments and Conditionals (Posted Jul 5)
(S18 Slides) While Loops (Posted Jul 9)
(S18 Slides) Array Assignments (Posted Jul 9)
(S18 Slides) Verification - Reversing an array (Posted Jul 14)
(F17 Notes) While loops - proving partial correctness and termination
(F17 Notes) Reversing an array (array assignment and while loops)
(S18 Slides) Introduction to Undecidability (Posted Jul 23)
(S18 Slides) Proving Undecidability via Reductions (Posted Jul 23)
(S18 Notes) Pictures of Reduction (Posted Jul 19)