英国课程库 › 帝国理工学院 › 纯数学（数学形式化）理学硕士
帝国理工学院 · Imperial College London · 伦敦
纯数学（数学形式化）理学硕士
Pure Mathematics (Formalisation of Mathematics) MSc
无需 ATAS 认证；包含必修数学形式化模块及 Lean 定理证明器相关研究课题；申请费 90 英镑。ATAS not required. Mandatory Formalising Mathematics module and Lean theorem prover research project. £90 application fee.
- 国际学生学费 · International fee
- £44,800 全日制·全程总价full-time total约 39.9 万元人民币（ECB 2026-10-30 汇率）
- 英国本地（Home）学费 · Home fee
- 官网未注明 / Not stated
- 学制（全日制） · Duration (full-time)
- 1 年 · 1 year
- 入学时间 · Starts
- 10 月October
- 学分 · Credits
- 官网未注明 / Not stated
- 学位要求 · Minimum degree
- 2:1
- 英语要求 · English
- 学校英语等级 University level: standard
- 国际学生申请截止 · International deadline
- Wednesday 2027 年 4 月 28 日Wednesday 28 April 2027
- 申请费 · Application fee
- £90
- 校区 · Campus
- South Kensington
专业背景要求 · Required background
数学或应用数学专业
Mathematics or Applied Mathematics
原文出处 · Sources
学费 · Fee · 官网原文 source textOverseas fee - Applied + Pure + Pure Formalisation
Full-time
£44,800
total fee
入学要求 · Entry · 官网原文 source text2:1 in Mathematics or Applied Mathematics
英语 · English · 官网原文 source textFor admission to this course, you must achieve the standard university requirement in the appropriate English language qualification.
截止日期 · Deadline · 官网原文 source textApplications close on Wednesday 28 April 2027
在课程库中查看 / Open in course finder去官网课程页 / Official course page ↗
帝国理工学院的全部课程与中国学生成绩要求 · All Imperial courses
数据整理于 2026-10-31 · Data compiled 2026-10-31. 官网链接 Source: https://www.imperial.ac.uk/study/courses/postgraduate-taught/2027/pure-mathematics-formalisation-msc/