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

Happy learning!

Best, Alice


Schedule PDF Word Pages

Learning Goals


Roadmaps


Introduction to CS 245

Workbook

Propositional Logic

Propositional Logic: Translations and Syntax

Propositional Logic: Structural Induction

Propositional Logic: Semantics

Propositional Logic: Semantic Entailment and Natural Deduction


Predicate Logic

Predicate Logic: Introduction and Translations

Predicate Logic: Syntax

Predicate Logic: Semantics

Predicate Logic: Semantic Entailment and Natural Deduction


Program Verification


Undecidability