OpenLib.cs
  • OpenLib.cs
  • courses
    • Information Retrieval
    • Data Mining
    • Artificial Intelligence
    • Operating Systems
    • Theory of Computation
    • Microprocessors & Interfacing
    • Compiler Construction
    • Number Theory
    • Computer Architecture
    • Cryptography
    • Computer Programming
    • Design & Analysis of Algorithms
    • Quantum Computing
    • Data Structures & Algorithms
    • Discrete Structures for Computer Science
    • Database Systems
    • Principles of Programming Languages
    • Object Oriented Programming
    • Service Oriented Computing
    • Logic in Computer Science
    • Digital Design
    • Computer Networks
  • scripts
    • {course}
  • Contributing Guidelines
  • Assets
    • Course Title
Powered by GitBook
On this page
  • Overview
  • Prerequisites
  • Textbooks
  • Videos
  1. courses

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

Huth & Ryan

2nd (2004)

Huth & Ryan

2nd (2004)

Patrick Hurley

11th (2012)

Banchoff, Devlin, Gonnet, Marsden & Wagon

1st (1999)

Videos

  • Propositional Logic, Neso Academy

  • Predicate Logic, Trev Tutor

  • Logic Problem, Brilliant.Org

PreviousService Oriented ComputingNextDigital Design

Last updated 5 years ago

Logic in Computer Science: Modelling & Reasoning About Systems
Logic in Computer Science: Modelling & Reasoning About Systems, Solutions to Designated Exercises
A Concise Introduction to Logic
Sweet Reason: A Field Guide to Modern Logic