TDDC36 Logic

Course material

Book

• Mordechai Ben-Ari: Mathematical Logic for Computer Science. Springer-Verlag.
  • Publisher's web page about the book.
  • Author's web page about the book.
• archive of Prolog programs used in the book, provided by the author, compatible with SWI-Prolog Version 5.6.20, is here.

Exercises for seminars

• see the Seminars page

Slides

• Index
• Slides for lectures, four slides per page (full colors)
• Slides for lectures, four slides per page (mainly black and white, more printer friendly)
• Slides for lectures, one slide per page (mainly black and white, more printer friendly)

Exams

• Solutions to exemplary exam exercises are here

Supplementary reading

• For additional material one can download a book on logic by Jean Gallier Logic for Computer Science: Foundations of Automatic Theorem Proving. The book is available for free downloads via the author's web page. You can also use this direct link.
• There are many other books, among which a book by Antony Galton Logic for Information Technology (Wiley, 1990) contains well explained related material (available in the LiU library and via online bookstores).

Page responsible: Andrzej Szalas
Last updated: 2012-11-20