Logic for Computer Science

Instructors Luís Cruz-Filipe < lcf [at] imada.sdu.dk >
Marco Peressotti < peressotti [at] imada.sdu.dk >
Period Spring 2020
Code DM846 (10ECTS, Master level, https://odin.sdu.dk/sitecore/index.php?a=searchfagbesk&internkode=dm846&lang=en)
Office hours Open door.
Prerequisites The student is expected to have basic understanding of mathematical proofs and to be familiar with the basics of propositional logic and predicate calculus, obtainable e.g. by having followed DM535 (Discrete Methods for Computer Science) or MM537 (Introduction to Mathematical Methods).


The aim of this course is to provide students with a background on logic focusing on aspects most relevant to computer science.

At the end of this course, the student is expected to have the following competences:

Selected topics