数学研究所
硕士专业介绍
由数学研究所和计算机科学系联合教学的数学和计算机科学基础理学硕士课程侧重于纯数学与理论计算机科学之间的关联。
数学方面侧重于使用计算机或与计算机科学相关的领域，即代数，一般拓扑，数论，组合和逻辑。 计算方面的示例包括计算复杂性，并发性和量子计算。 学生至少要选择五个选项，然后写论文。
本课程适合那些希望从事纯数学（尤其是代数，数论，组合论，一般拓扑及其计算方面），数学逻辑或理论计算机科学的研究的人。 它也适合希望进入行业并了解数学和逻辑设计以及并发性的学生。
硕士专业相关信息
| 专业名称 | 2025 Fall 申请时间 | 学费（当地货币） |
|---|---|---|
| 牛津大学数学与计算机科学基础硕士 | 24年9月开放 | £28,560 |
| 语言要求 | 2024 Fall 申请时间 | 学制 |
| 雅思7.5（小分7）；托福110（听力22阅读24口语25习作24） | 23年9月1日开放 | 1年 |
| 更多内容 | GMAT/GRE 要求 | 关注 "Mastermate" 官方公众号（详见页面底部二维码）, 回复关键词【指导书】免费获取最新留学申请手册 | 不需要 |
硕士课程内容
| 序号 | 课程中文名称 | 课程英文名称 |
|---|---|---|
| 1 | 代数拓扑 | Algabraic Topology |
| 2 | 代数数论 | Algebraic Number Theory |
| 3 | 解析数论 | Analytic Number Theory |
| 4 | 解析拓扑 | Analytic Topology |
| 5 | 范畴论 | Category Theory |
| 6 | 交换代数 | Commutative Algebra |
| 7 | 可微歧管 | Differentiable Manifolds |
| 8 | 戈德尔不完整定理 | Godel Incompleteness Theorems |
| 9 | 表征理论导论 | Introduction to Representation Theory |
| 10 | Lambda微积分和类型 | Lambda Calculus and Types |
| 11 | 李代数 | Lie Algebras |
| 12 | 谎言团体 | Lie Groups |
| 13 | 模型论 | Model Theory |
| 14 | 拓扑和组 | Topology and Groups |
| 15 | 加法和组合数论 | Additive and Combinatorial Number Theory |
| 16 | 公理集理论 | Axiomatic Set Theory |
| 17 | 几何群论 | Geometric Group Theory |
| 18 | 同源代数 | Homological Algebra |
| 19 | 无限组 | Infinite Groups |
| 20 | 计划简介 | Introduction to Schemes |
| 21 | 非交换环 | Non-Commutative Rings |
| 22 | 半简单李代数P的表示理论 | Representation Theory of Semisimple Lie Algebra P |
| 23 | 拓扑组 | Topological Groups |
| 24 | 类别，证明和过程 | Categories, Proofs and Processes |
| 25 | 计算复杂度 | Computational Complexity |
| 26 | 计算机辅助形式验证 | Computer Aided Formal Verification |
| 27 | 并发 | Concurrency |
| 28 | 计算机科学基础 | Foundations of Computer Science |
| 29 | 图论 | Graph Theory |
| 30 | 信息论 | Information Theory |
| 31 | 斯蒂芬森 | Stephenson |
| 32 | 整数编程 | Integer Programming |
| 33 | 密码学导论 | Introduction to Cryptology |
| 34 | 量子计算机科学 | Quantum Computer Science |
| 35 | 使用树自动机分析逻辑 | Analysing Logics using Tree Automata |
| 36 | 应用范畴论 | Applied Category Theory |
| 37 | 自动机，逻辑和游戏 | Automata, Logic and Games |
| 38 | 分类量子力学 | Categorical Quantum Mechanics |
| 39 | 组合学 | Combinatorics |
| 40 | 计算代数拓扑 | Computational Algebraic Topology |
| 41 | 计算博弈论 | Computational Game Theory |
| 42 | 计算学习理论 | Computational Learning Theory |
| 43 | 意义的分布模型 | Distributional Models of Meaning |
| 44 | 椭圆曲线 | Elliptic Curves |
| 45 | 网路 | Networks |
| 46 | 概率组合 | Probabilistic Combinatorics |
| 47 | 概率与计算数学基础 | Probability and Computing |
| 48 | 适用理论 |
