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

• Textbooks

• Videos

Prerequisites

This course has no prerequisites.

Textbooks

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)

Videos

• Propositional Logic, Neso Academy

• Predicate Logic, Trev Tutor

• Logic Problem, Brilliant.Org