Program Image Mathematical Foundations of Computing Science

Mathematical Foundations of Computing Science

Master

Radboud University mapmarker icon Nijmegen Research university
Institution Logo Radboud University

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.

Language

English

Title

Master of Science

Duration

2 years

ECTS credits

Accreditation

NVAO

Numerus Fixus

Tuition fee 2024/2025

€ 2,530


Admission

Application requirements

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

Language requirements

C1
Cambridge Certificate in Advanced English
6.5
IELTS overall band
90
TOEFL internet based

Check when you can start and what you have to pay!

Tuition fees  
€ 2,530
Information not available
Information not available
Start date App. deadline EU/EEA App. deadline Non-EU/EEA
1 Sep '24 1 Jul '24 1 Apr '24

Scholarships

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.

Fullbright-Radboud Scholarships

Global Education Programme

Contact

Radboud University

Main address
Comeniuslaan 4
6525 HP Nijmegen
024 - 3612345

Ready to apply?

Visit course website chevron icon
Radboud University institution image
Radboud University institution image