Alice Gao's CS 245 Resources Page

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 a23gao AT uwaterloo DOT ca.

Happy learning!

Best, Alice

Learning Goals

Clicker Questions

Workbook

• PDF

• Solutions

Introduction to Logic and Computation

• Thu Sep 5, 2019. Lecture 1. Intro to Logic and Computation

Propositional Logic

Introduction and Syntax

• Tue Sep 10, 2019. Lecture 2. Introduction and Syntax

Structural Induction

• Thu Sept 12, 2019. Lecture 3. Structural Induction

• See section 1.2.1 in the workbook solutions for a template for structural induction on well-formed propositional formulas

Semantics

• Tue Sept 17, 2019. Lectures 4 and 5. Introduction to Semantics

• Thu Sept 19 and Tue Sept 24, 2019. Lecture 6. Tautological Consequence and Translations

• Tautological Consequence and Translations Solutions

Formal Deduction

• Thu Sep 26, 2019 and Tue Oct 1, 2019. Lectures 7 and 8. Formal Deduction

• Thu Oct 3, 2019. Lecture 9. Soundness of Formal Deduction

• Soundness Solutions

• Tue Oct 8, 2019. Lecture 10. Completeness of Formal Deduction

• Completeness Solutions

Predicate Logic

Introduction and Translations

• Thu Oct 10, 2019. Lecture 11. Introduction and Translations

Syntax

• Tue Oct 22, 2019. Lecture 12. Syntax of Predicate Formulas

• Syntax Solutions

Semantics

• Thu Oct 24, 2019 and Tue Oct 29, 2019. Lectures 13 and 14. Semantics of Predicate Formulas

• Semantics Solutions

• Thu Oct 31, 2019. Lecture 15. Logical Consequence.

• Logical Consequence Solutions

Formal Deduction

• Tue Nov 5, 2019. Lecture 16. Formal Deduction

• Thu Nov 7, 2019. Lecture 17. Soundness and Completeness of Formal Deduction.

Predicate Logic: Peano Arithmetic

• Tuesday Nov 19. Lecture 20. Peano Arithmetic (Annotated 8:30 am) (Annotated 10:00 am)

Undecidability

• Tue Nov 26, 2019. Lecture 22. Introduction to Undecidability (Annotated 8:30 am) (Annotated 10:00 am)

• Thu Nov 28, 2019. Lecture 23. Proving Undecidability via Reduction (Annotated 8:30 am) (Annotated 10:00 am)