DM880: Logic for Computer Science (5 ECTS)
STADS: N340088101Level
Master's level course
Teaching period
The course is offered in the spring semester.
Teacher responsible
No responsible teachers found, contact the department if necessary
Timetable
| Group | Type | Day | Time | Classroom | Weeks | Comment |
|---|---|---|---|---|---|---|
| Common | I | Monday | 08-10 | U143 | 6 | |
| Common | I | Monday | 14-16 | U147 | 7 | |
| Common | I | Monday | 08-10 | U146 | 12 | |
| Common | I | Wednesday | 12-14 | U156 | 10 | |
| Common | I | Thursday | 14-16 | U142 | 8 | |
| Common | I | Thursday | 14-16 | U156 | 11 | |
| Common | I | Thursday | 08-10 | U146 | 18 | |
| Common | I | Friday | 08-10 | U147 | 9 | |
| Common | I | Friday | 14-16 | U146 | 13,16-17,19 |
Show personal time table for this course.
Prerequisites:
None
Academic preconditions:
None
Course introduction
Expected learning outcome
Subject overview
Literature
There isn't any litterature for the course at the moment.
Website
This course uses e-learn (blackboard).
Prerequisites for participating in the exam
None
Assessment and marking:
Expected working hours
The teaching method is based on three phase model.
Educational activities
Language
This course is taught in Danish.
Course enrollment
See deadline of enrolment.
Tuition fees for single courses
See fees for single courses.
