该联合学位课程提供将数学推理与计算理解相结合的机会。数学是计算中的基本智力工具,而计算也日益成为数学问题解决的关键组成部分。课程侧重于数学与计算最相关的领域,强调理论与实践之间的桥梁。
第一年:核心数学(50%)包括分析、群与群作用、复数、大学数学导论、线性代数、概率;核心计算机科学(50%)包括连续数学、算法设计与分析、函数式编程、证明系统导论、命令式编程。第二年:核心计算机科学(25%)包括算法与数据结构、小组设计实践、计算模型;核心数学(30%)包括复分析、线性代数、度量空间;数学选修(20%)包括数值分析、量子理论、拓扑学;计算机科学选修(25%)包括人工智能、计算机架构、计算机图形学、数据库、逻辑与证明、量子信息。第三年:数学选修包括交换代数、伽罗瓦理论、图论、信息论、集合论、拓扑与群;计算机科学选修包括人工智能、计算机辅助形式验证、计算机图形学、几何建模、Lambda演算与类型、机器学习、量子信息。第四年:研究导向,数学高级选修包括代数几何、解析数论、范畴论、椭圆曲线、李群、模型论、概率组合;计算机科学高级选修包括自动机、逻辑与博弈、范畴、证明与过程、计算生物学、数据库系统实现、自编程智能体基础、几何深度学习、概率模型检验;包含论文或项目报告。
A-levels: A*A*A,其中数学和进阶数学(如提供)需为A*;Advanced Highers: AA/AAB;International Baccalaureate: 39分(含核心分数),HL 766(7分必须在高等数学)