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.

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.
• Curry-Howard isomorphism.
• Modal and temporal logic.
• Formal specification and validation.
• Pi-calculus, tools for logic reasoning