# Logic in Computer Science

## Overview

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.

* [Prerequisites](#prerequisites)
* [Textbooks](#textbooks)
* [Videos](#videos)

## Prerequisites

This course has no prerequisites.

## Textbooks

| Title                                                                                                                                                                   | Author(s)                                 |   Edition   |
| ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------- | :---------: |
| [Logic in Computer Science: Modelling & Reasoning About Systems](https://drive.google.com/open?id=1O8H4XbA-H78z86aqIpo69MpA5fRv17vO)                                    | Huth & Ryan                               |  2nd (2004) |
| [Logic in Computer Science: Modelling & Reasoning About Systems, Solutions to Designated Exercises](https://drive.google.com/open?id=1jq5fxHJfVybPqevrHpVqWjQKGr_dy0n8) | Huth & Ryan                               |  2nd (2004) |
| [A Concise Introduction to Logic](https://drive.google.com/open?id=14bcHskzt2tGCP1dAPSasic8uAjXjZyux)                                                                   | Patrick Hurley                            | 11th (2012) |
| [Sweet Reason: A Field Guide to Modern Logic](https://drive.google.com/open?id=1g1Eq51Z5IovcB9PWSxk19g5e2TpfpiFv)                                                       | Banchoff, Devlin, Gonnet, Marsden & Wagon |  1st (1999) |

## Videos

* [Propositional Logic, *Neso Academy*](https://www.youtube.com/watch?v=IZpvlR5J7FQ\&list=PLBlnK6fEyqRhqJPDXcvYlLfXPh37L89g3\&index=2) 
* [Predicate Logic, *Trev Tutor*](https://www.youtube.com/watch?v=gyoqX0W-NH4\&list=PLDDGPdw7e6Ag1EIznZ-m-qXu4XX3A0cIz\&index=23)
* [Logic Problem, *Brilliant.Org*](https://brilliant.org/logic/)