Hide menu

TDDD72 Logic

Course material


Slides (version: October 22, 2016)

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

Compendium (version: October 22, 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)

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

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