DM880: Logic for Computer Science
Study Board of Science
Teaching language: Danish, but English if international students are enrolled
EKA: N340088102
Assessment: Second examiner: Internal
Grading: 7-point grading scale
Offered in: Odense
Offered in: Spring
Level: Master's level course approved as PhD course
STADS ID (UVA): N340088101
ECTS value: 5
Date of Approval: 07-10-2020
Duration: 1 semester
Version: Archive
Comment
Entry requirements
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 DM549 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.
In relation to the competence profile of the degree it is the explicit focus of the course to:
- provide knowledge of a selection of specialized models and methods developed in computer science based on the highest international research, including topics from the subject's research front
- provide knowledge of computer science models and methods intended for applications in other professional areas
- provide the ability to put forward hypotheses on a qualified theoretical background and be critical of one's own and others' research results and scientific models
- provide competence to plan and carry out scientific projects at a high professional level, including managing work and development situations that are complex, unpredictable and assumed new solutions
Expected learning outcome
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
Content
- deductive systems for propositional logic
- first order logic and subsets thereof
- Curry-Howard isomorphism
- modal and temporal logic
- formal specification and validation
- tools for logic reasoning
Literature
Examination regulations
Exam element a)
Timing
Spring
Tests
Projects and written exam
EKA
N340088102
Assessment
Second examiner: Internal
Grading
7-point grading scale
Identification
Full name and SDU username
Language
Normally, the same as teaching language
Duration
Written exam - 3 hours
Examination aids
There are no aids for the written exam, aids can be used for the project, a more detailed description of the exam rules will be published in itslearning.
ECTS value
5
Additional information
The exam consists of a number of assignments handed in during the course and a written exam. The final grade is given on the basis of an overall assessment of assignments and the written exam. The external examiner will be able to see the assignments.
The examination form for re-examination may be different from the exam form at the regular exam.
Indicative number of lessons
Teaching Method
The teaching method is based on three phase model.
Intro phase: 20 hours
Skills training phase: 20 hours, hereof:
- Tutorials: 20 hours
Activities during the study phase: Solving small assignments, individually or in small groups.