Hide menu

TDDD88 Logic

Course material


Slides (version: August 28, 2016)

  • Slides for lectures, full colors, for viewing (printing not recommended)
  • Slides for lectures, mainly black and white, for printing

Compendium (version: May 23, 2016)

  • Compendium, mainly black and white, for printing

Exercises for lessons and sample exams (version: November 18, 2016)

  • Ebook version, for viewing (and printing in the ebook format)
  • For printing (a4)

Book (supplementary reading, not required, but helpful for self-learning)

  • Mordechai Ben-Ari: Mathematical Logic for Computer Science, Springer 2012
  • Correspondences between lectures/lessons and the book

Page responsible: Andrzej Szalas
Last updated: 2017-08-25