##

**Logic in Computer Science (6 ECTS)**

The goal of the course is to present the fundamental notions of logic that are important in computer science.

*Contents:*

- Propositional logic
- Natural Deduction
- Induction
- Semantics
- Normal form
- SAT solving

- Predicate logic
- Natural deduction
- Semantics
- Undecidability
- Expressivity

- Temporal logics
- Branching time logic
- Linear time logic
- Fixed-point characterisation
- Repetition

*Suggested readings:*

The course is based mainly on the 3 first chapters of:
M. Huth and M. Ryan: **Logic in Computer Science**, Cambridge University Press

http://www.ewidgetsonline.com/cup/widget.aspx?bookid=51/3mLE/ColK5qnmfcLSyg==&buyNowLink=http://sec.ebooks.com/cambridge-add.asp?I=283471&f=3

As additional reading, one can point to the hypertext-book by
V. Detlovs, K. Podnieks: **Introduction to Mathematical Logic**

http://www.ltn.lv/~podnieks/mlog/ml.htm

*Courseware examples and locations where taught:*

The course book's webpage, http://www.cs.bham.ac.uk/research/projects/lics/ offers several materials, among them an interactive tutor for each chapter.

A complete set of slides for the whole course, structured in 14 lectures, is available from the web page of the University of Copenhagen's instance of the course (teachers Julia Lawall & Neil Jones), see
http://www.diku.dk/

Other places where instances of this course are given, and from where additional teaching material can be downloaded, are:

Chalmers University of Technology (teachers Thierry Coquand & Jan Smith)
http://www.cs.chalmers.se/Cs/Grundutb/Kurser/logcs

University College London (teacher Jonathan P. Bowen)
http://www.cs.ucl.ac.uk/staff/J.Bowen/GS03/
Many more places where courses are based on the book by Huth & Ryan are listed at:

http://www.cs.bham.ac.uk/research/projects/lics/adoptions.html
*Line of teaching*

View this course in the **RKBExplorer**

Back to MSc Curriculum.