Mathematical Foundations of Computing Science
This Master's specialisation will focus on understanding the fundamental mathematical concepts of computation and information in order to explore the potentials of computer science.
The theory of computation arose from concerns about the foundations of mathematics, and was developed in the work of Gödel, Church, Turing, Kleene and others. The actual building of computing machinery later was strongly influenced by this theoretical work. Computer science quickly grew into an independent field of study, but the relations with mathematics are still strong. Connections range from the use of mathematics to model the foundations all the way to the use of computers to help solve mathematical problems with a discrete component.
This Master's specialisation has a unique theoretical and abstract focus that unites mathematics and computer science. The programme places itself squarely in this exciting interdisciplinary area of deep theoretical developments. For this reason, the mathematics courses in this curriculum concentrate on algebra, general topology, logic, number theory and combinatorics. The computer science courses concentrate on formal methods, type theory, category theory, coalgebra and theorem proving.
Ready to apply?Visit course website
Master of Science
The European Credit Transfer and Accumulation System (ECTS) is a student-centred system based on the student workload required to achieve the objectives of a programme of study. Its aim is to facilitate the recognition of study periods undertaken by mobile students through the transfer of credits. The ECTS is based on the principle that 60 credits are equivalent to the workload of full-time student during one academic year.
No Numerus Fixus
Without numerus fixus.
Tuition fee 2023/2024
The EU/EEA rate is the regular fee for students from within the EU/EEA.
In order to get admission to this Master's you'll need a completed Bachelor's in Mathematics or in Computing Science with a strong mathematical background and theoretical interests. We'll select students based on their motivation and their background. Mathematical maturity is essential and basic knowledge of logic and discrete mathematics is expected.
Students must have passed (preliminary) examinations containing the following subject matter: Variety of these mathematical courses, at least 12 credits: Calculus, Linear algebra, Logic, Discrete mathematics, Statistics, Probability theory, Combinatorics. Variety of these theoretical computing science courses, at least 6 credits: Languages and Automata, Computability, Semantics, Functional programming, Proof systems, Software Verification, Machine Learning, and desirably Complexity theory. Basic
- Cambridge Certificate in Advanced English
- IELTS overall band
- TOEFL internet based
Check when you can start and what you have to pay!
The non-EU/EEA rate is the rate for students from outside the EU/EEA.
|Information not available|
The institutional rate is for all students who have already obtained a bachelor’s or master’s degree and who want to start a second programme leading to a degree at the same level or at a lower level.
|Information not available|
|Start date||App. deadline EU/EEA||App. deadline Non-EU/EEA|
|1 Sep '23||1 Jul '23||1 Apr '23|
|1 Sep '24||1 Jul '24||1 Apr '24|
You can check if you're eligible for scholarships that apply to this course.
Orange Knowledge Programma (OKP)
The Orange Knowledge Programme aims to contribute to a society's sustainable and inclusive development. Its scholarships are open to mid-career professionals in specific countries.
Global Education Programme
Orange Tulip Scholarship - Indonesia
These customised scholarships will increase the talent development in a country with a Nuffic Neso office by allowing talented students to study in the Netherlands.
6525 HP Nijmegen
024 - 3612345