next up previous contents
Next: Numerical Analysis I Up: Michaelmas Term 2003: Part Previous: Group Project   Contents


Logic and Proof

Lecturer: Dr J.E. Hurd

No. of lectures: 12

This course is a prerequisite for Artificial Intelligence II (Part II) and Specification and Verification I (Part II).


Aims


This course will teach logic, especially the predicate calculus. It will present the basic principles and definitions, then describe a variety of different formalisms and algorithms that can be used to solve problems in logic. Putting logic into the context of Computer Science, the course will show how the programming language Prolog arises from the automatic proof method known as resolution. It will introduce topics that are important in mechanical verification, such as ordered binary decision diagrams (OBDDs) and modal logic.


Lectures

Objectives


At the end of the course students should

Recommended books


* Huth, M. & Ryan, M. (2000). Logic in computer science: modelling and reasoning about systems. Cambridge University Press.
Ben-Ari, M. (2001). Mathematical logic for computer science. Springer (2nd ed.).


Gentle introduction:


Barwise, J. & Etchemendy, J. (1999). Language proof and logic. CSLI Publications.



next up previous contents
Next: Numerical Analysis I Up: Michaelmas Term 2003: Part Previous: Group Project   Contents
Christine Northeast
Thu Sep 4 15:29:01 BST 2003