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:

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.