Logics for Computer Science
Teachers 
Luís CruzFilipe
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. 
Summary
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:
 understand the theoretical concepts of soundness, completeness, and decidability;
 prove soundness of particular logics;
 choose the logic framework most suited for particular computer science applications;
 be able to use existing tools for reasoning within particular logics.
Selected topics
 Deductive systems for propositional logic.
 First order logic and subsets thereof, combinatorial logic and type theory.
 CurryHoward isomorphism.
 Modal and temporal logic.
 Formal specification and validation.
 Picalculus, tools for logic reasoning