Hide menu

TDDD88 Logic

Course material

Slides (version: December 13, 2017)

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

Compendium (version: October 25, 2017)

  • Compendium, mainly black and white, for printing

Exercises for lessons and sample exams (version: January 24, 2018)

  • 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: 2018-01-24