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|
|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).
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.
- NWI-FFIL212 Philosophy of Water Management (3 EC)
- NWI-FFIL215 Upgrading the Human? (3 EC)
- NWI-FFIL216 Imagining the Anthropocene (3 EC)
- NWI-FFIL217 Science and Arts (3 EC)
- NWI-FFIL218 Science and Values (3 EC)
- NWI-FFIL219 Philosophy of Neuroscience (3 EC)
- NWI-FFIL220 Philosophy of Evidence and Expertise (3 EC)
- NWI-FFIL302 Philosophy and Ethics in Microbiology (3EC)
- NWI-FFIL202A Evolution and the Mind (3 EC)
- NWI-FFIL203B Bio-ethics for Life Scientists (3 EC)
- NWI-FFIL209B Environmental Ethics (3 EC)
- NWI-FFIL211B Physics and Philosophy (3 EC)
- NWI-EDU-WI001 Geschiedenis en filosofie van wiskunde (6 EC) (in Dutch)
- Mastermath: History and Philosophy of Mathematics (8 EC)
H. Free electives (up to 6 EC)
Free electives are any academic courses, both bachelor and master level.