LCS is a relatively easy course where you'll learn about propositional, predicate and temporal logic along with Program Correctness & Model Checking. It's an abstract subject that finds some applications in rule-based AI. It forms the bases for reasoning about computational systems and arguments/proofs related to computer programs.
This course has no prerequisites.
| Title | Author(s) | Edition |
|---|---|---|
| Logic in Computer Science: Modelling & Reasoning About Systems | Huth & Ryan | 2nd (2004) |
| Logic in Computer Science: Modelling & Reasoning About Systems, Solutions to Designated Exercises | Huth & Ryan | 2nd (2004) |
| A Concise Introduction to Logic | Patrick Hurley | 11th (2012) |
| Sweet Reason: A Field Guide to Modern Logic | Banchoff, Devlin, Gonnet, Marsden & Wagon | 1st (1999) |