Hide menu

TDDC36 Logic

Course material


Book

Exercises for seminars

Slides

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: 2013-09-10