Transition rules
The transition rules that apply to the master Computing Science can be found in the Education and Exam Regulations. Below, we describe the most relevant points that apply this year.
General transition rules
Some courses in the master Computing Science are offered once every two years, alternating with other courses. In general, at the request of students who did not pass the exam last year and who need to complete the course to obtain their degree this year, one exam opportunity can be scheduled in the year in which they are not offered. If this applies to you, please contact the study advisor or coordinator of studies before November 1st.
Mathematical Foundations of Computer Science
The programme structure for the master specialisation Mathematical Foundations of Computing Science has been more aligned to match that of the Data Science and Software Science specialisations. This entails the following changes:
- The compulsory part of the programme has been upscaled to 27 EC, and now also includes NWI-IMC036 Category Theory and Coalgebra (6 EC), NWI-IMC047 Research Seminar (15 EC) and a 6 EC version of the MFoCS Seminar (NWI-IMC057).
- Specialisation electives now comprise 18 EC in total, and master electives 24 EC in total.
- The Master Thesis has been reduced to 30 EC instead of 40 EC.
For students who started the MFoCS specialisation in or before 2018-2019, the following transition rules apply (see also the Education and Exam Regulations):
- Students who have already completed NWI-IMC049 MFoCS Seminar (3 EC) may use this in their exam list instead of the 6 EC variant with course code NWI-IMC057.
- Instead of the Research Seminar (15 EC) and 30 EC thesis (together 45 EC), students may choose to write a 40 EC thesis.
- The course NWI0IMC036 Category Theory and Coalgebra is not mandatory.
- The above transition rules apply provided that the exam list for the master programme comprises a minimum of 120 EC in total.
If you started the MFoCS specialisation in 2017-2018 or before, please refer to the Education and Exam Regulations for more details about transition rules that apply to you.
Course specific transition rules
For specific courses in 2019-2020, the following changes and transition rules apply (courses are listed in order of course code):
Old course (and, if applicable, Specialisation) |
Change | Replacement course or transition rules |
NWI-I00139 proof Assistants (Specialisation: MFoCS; Software Science) |
This course is not offered in 2019-2020. | For students who took this course last year but did not pass the exam, one exam opportunity can be scheduled if this is needed to complete the master degree. Please contact study advisor Perry Groot before November 1st if this applies to you. |
NWI-IMC011 Semantics and Domain Theory |
This course was not offered in 2018-2019, but is offered in 2019-2020. | None. Note: the course will NOT be offered in 2020-2021. |
NWI-IMC036 Category Theory and Coalgebra (Specialisation: MFoCS) |
The course name has been changed. This course has now been included in the compulsory part of the MFoCS programme. |
None. |
NWI-IMC055 Quantum Processes and Computation (Specialisation: MFoCS) |
This course is no longer offered as of 2019-2020. | To be announced. |
NWI-WM072B Complexity Theory | This course was not offered in 2018-2019, but is offered in 2019-2020. | None. Note: the course will NOT be offered in 2020-2021. |
NWI-WM0120C Computability Theory (Specialisation: MFoCS; Software Science) |
This course is not offered in 2019-2020. | For students who took this course last year but did not pass the exam, one exam opportunity can be scheduled if this is needed to complete the master degree. Please contact the coordinator of Mathematics, Guido Swart, before October 1st if this applies to you. |
For transition rules of older curricula: please check the transition rules in last year's prospectus or contact the student-advisor Perry Groot to discuss options.