Faculty of Science

Objectives

To familiarise students with the basic ideas and tools of mathematical logic, demonstrate its application to Computer Science, and used equip them to investigate and apply logical reasoning to various problems in Computer Science.

Contents

Introduction, Syntax and Semantics, Soundness and Completeness theorems for propositional and first order logic; The compactness theorem and its applications; Limitations on the expressive power of first order logic; Godel’s incompleteness theorem; Modal logics and Kripke structures; Soundness, Completeness and characterization theorems for modal logics; Temporal and Dynamic logics and their applications; Knowledge representation and logics for non-monotonic reasoning; The computational complexity of logical tasks; Selected advanced topics.