Zoek in de site...

Synergy track Mathematics of Computer Science

This 120 EC research specialisation is built up as follows:

A. Track courses 36 EC
B. Mathematical electives 18 EC
C. Master electives 12 EC
D. Master Thesis Project Mathematics 40 EC
E. Master Seminar 3 EC
F. Professional Preparation 2 EC
G. Philosophy 3 EC
H. Free electives 6 EC

Overall, a maximum of 12 ec of third year bachelor's courses in Mathematics is allowed, to be approved by the examination board.

A. Track courses (36 EC)

Mandatory: NWI-WM069D Computer Algebra (8 EC)
Mandatory electives A (at least 12 EC): NWI-IMC010 Type Theory and Coq (6 EC)
NWI-IMC011 Semantics and Domain Theory (6 EC)
NWI-IMC036 Category Theory and Coalgebra (6 EC)
NWI-WM158B Experimental Mathematics (8 EC)
NWI-IMC009 Automated Reasoning (6 EC)
NWI-IMC057 MFoCS Seminar (6 EC)
Mandatory electives B (at least 16 EC): 1. NWI-WM150B Category Theory and Homological Algebra (8 EC), semester 1
NWI-WM304B Sheaves and Geometry (8 EC)*
NWI-WM144B Calculus of Variations (8 EC), semester 2
Mastermath: Calculus of Variations (8 EC)*
2. Mastermath: Differential Geometry (8 EC), semester 1
Mastermath: Algebraic Geometry 1 (8 EC), semester 1
3. Mastermath: Lie Groups (8 EC), semester 1 (in Nijmegen)
Mastermath: Lie Algebras (8 EC), semester 2
4. NWI-WM094D Algebraic Topology 1 (8 EC)*
Mastermath: Algebraic Topology 1 (8 EC), semester 1
NWI-WM072D Complexity Theory (8 EC)*
Mastermath: Complexity Theory (8 EC), semester 1
5. Mastermath: Riemann Surfaces (8 EC), semester 2 (in Nijmegen)
Mastermath: Elliptic Curves (8 EC), semester 2
6. Mastermath: Operator Algebras (8 EC), semester 2
Mastermath: Computability Theory (8 EC)*
NWI-WM120D Computability Theory (8 EC)*
7. Mastermath: Algebraic Number Theory (8 EC), semester 1
NWI-WM139B Analytic Methods in Number Theory (8 EC)*

* Not taught this year

For mandatory electives B, you have to choose courses from different rows. If you are interested in more than one course per row, you can always choose them as elective courses. Note that not all courses are taught every year. Please look at this year's course offerings.

Course information and schedules for the Mastermath courses may be found on the Mastermath website.

B. Mathematical electives (18 EC)

Mathematical electives are courses within the field of Mathematics on Master's level. The mathematical electives need to be approved by the Examination Board.

C. Master electives (up to 12 EC)

Master electives are courses in any field within or outside of Mathematics. You can also consider courses from the societal specialisations or NWI-FNWI002 Scientific English (3 EC, every quarter) to support your writing process. These electives need to be approved by the Examination Board.

D. Master Thesis Project Mathematics (40 EC)

Including a literature study, a thesis (which can be an internship report) and a graduation defense.

E. NWI-WM115B Master seminar (3 EC)

The Master seminar should be taken in the first year of the master's programme. For students in the synergy track Mathematics of Computer Science, this course can be replaced by NWI-IMC057 MFoCS Seminar (6 EC).

F. NWI-WM301 Professional Preparation for Math (2 EC)

G. Philosophy (3 EC)

One of the courses below should be completed. Not all courses are taught every year and some courses have a limited number of places and priority for certain student groups.

H. Free electives (up to 6 EC)

Free electives are any academic courses, both bachelor and master level.