Hide menu

TDDD72 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)

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

Page responsible: Andrzej Szalas
Last updated: 2018-01-24