< lcf [at] imada.sdu.dk >
Marco Peressotti < peressotti [at] imada.sdu.dk >
|Code||DM846 (10ECTS, Master level, https://odin.sdu.dk/sitecore/index.php?a=searchfagbesk&internkode=dm846&lang=en)|
|Office hours||Open door (or by Appointment).|
|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: