Logic for Computer Science
No description in English available.
The teaching consists of lectures and supervision.
The course is examined as follows:
- written examination
- written assignments
The schedule will be available no later than one month before the start of the course.
We do not recommend print-outs as changes can occur. At the start of the course,
your department will advise where you can find your schedule during the course.
daisy.showSchedulesAtIdEn('IB147N', 'schedules_IB147N');
Note that the course literature can be changed up to two months before the start of the course.
Course reports are displayed for the three most recent course instances.
This course is part of a programme and is not available for application as a stand-alone course.
Find more information about Master’s programmes here
If you are a student at one of our Master’s programmes and have questions about the course, please contact the student counsellors
