DM846: Logic for Computer Science (10 ECTS)
STADS: 15016601Level
Master's level course approved as PhD course
Teaching period
The course is offered in the spring semester.
Teacher responsible
Email: lcf@imada.sdu.dkTimetable
| Group | Type | Day | Time | Classroom | Weeks | Comment |
|---|---|---|---|---|---|---|
| Common | I | Wednesday | 14-16 | IMADA Seminarrum | 06-08,12-13,16-17,19,21 | |
| Common | I | Wednesday | 10-12 | IMADA Seminarrum | 11 | |
| Common | I | Wednesday | 08-10 | IMADA Seminarrum | 20 | |
| Common | I | Thursday | 16-18 | IMADA Seminarrum | 06-08,11-13,16-19,21-23 | |
| H1 | TE | Monday | 12-14 | IMADA Seminarrum | 06-08,11-13 |
Show personal time table for this course.
Comment:
Ubegrænset deltagerantal.
Prerequisites:
None
Academic preconditions:
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.
Course introduction
The aim of this course is to provide students with a background on logic focusing on aspects most relevant to computer science.
Qualifications
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
Subject overview
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.
Literature
- Meddeles ved kursets start.
Website
This course uses e-learn (blackboard).
Prerequisites for participating in the exam
None
Assessment and marking:
- Mandatory assignments. Evaluated by internal censorship (3 ECTS). (15016612)
- Oral exam based on a project and subjects from the lessons. Evaluated by external censorship according to the Danish 7-mark scale (7 ECTS). (15016602)
The teaching method is based on three phase model.
Intro phase: 42 hours
Skills training phase: 20 hours, hereof:
- Tutorials: 20 hours
Educational activities
Language
This course is taught in Danish or English, depending on the lecturer. However, if international students participate, the teaching language will always be English.
Course enrollment
See deadline of enrolment.
Tuition fees for single courses
See fees for single courses.
