Mathematics and Foundations of Computer Science

专业详情

The mathematical side concentrates on areas where computers are used, or which are relevant to computer science, namely algebra, general topology, number theory, combinatorics and logic. Examples from the computing side include computational complexity, concurrency, and quantum computing. Students take a minimum of five options and write a dissertation. Apart from the dissertation about 75% is taught content and 25% is self-directed learning.

The course is suitable for those who wish to pursue research in pure mathematics (especially algebra, number theory, combinatorics, general topology and their computational aspects), mathematical logic, or theoretical computer science. It is also suitable for students wishing to enter industry with an understanding of mathematical and logical design and concurrency.

The course runs from the beginning of October through to the end of September, including the dissertation.