Logics for Computer Science

Teachers Luís Cruz-Filipe lcf@imada.sdu.dk (course responsible)
Marco Peressotti https://marcoperessotti.com/
Period Spring 2020
ECTS 10 credits
Code DM846 (https://odin.sdu.dk/sitecore/index.php?a=searchfagbesk&internkode=dm846)
Office hours Open door.


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