DM846: Logic for Computer Science (10 ECTS)
STADS: N340037101Level
Teaching period
Teacher responsible
No responsible teachers found, contact the department if necessary
Timetable
| Group | Type | Day | Time | Classroom | Weeks | Comment |
|---|---|---|---|---|---|---|
| Common | I | Monday | 10-12 | IMADA semi | 6 | |
| Common | I | Tuesday | 12-14 | IMADA semi | 17 | |
| Common | I | Wednesday | 10-12 | IMADA semi | 6,10,12,17-22 | |
| Common | I | Wednesday | 10-12 | U143 | 7,14 | |
| Common | I | Wednesday | 10-12 | U146 | 9 | |
| Common | I | Wednesday | 10-12 | U176 | 11 | |
| Common | I | Wednesday | 10-12 | U153 | 13 | |
| Common | I | Wednesday | 10-12 | U145 | 15 | |
| Common | I | Thursday | 15-17 | U143 | 6,10,12,14 | |
| Common | I | Friday | 10-12 | IMADA semi | 17 | |
| H1 | TE | Monday | 10-12 | IMADA semi | 8,10,12,14 | |
| H1 | TE | Thursday | 15-17 | U31A | 7,9,11,13,15 |
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
Educational form
Language
No recorded information about the language used in the course.
Course enrollment
See deadline of enrolment.
Tuition fees for single courses
See fees for single courses.
