计算机科学

计算机科学是关于深入理解计算机系统和网络的学科。你将运用数学推理能力，严格论证计算机程序和系统的行为。本课程注重理论与实践的联系，涵盖广泛的软件和硬件技术及其应用。

第一年：连续数学、算法设计与分析、数字系统、离散数学、函数式编程、命令式编程、证明系统导论、线性代数、概率。第二年：算法与数据结构、编译器、并发编程、计算模型、小组设计实践，以及人工智能、计算机体系结构、计算机图形学、数据库、逻辑与证明、量子信息等选修。第三年：计算机辅助形式验证、几何建模、Lambda演算与类型、机器学习、编程语言原理、科学计算等选修，以及可选项目。第四年：自动机、逻辑与博弈、范畴论、证明与过程、计算生物学、计算医学、数据库系统实现、分布式过程、类型与编程、自编程智能体基础、几何深度学习、概率模型检验、量子过程与计算、深度学习中的不确定性等选修，以及项目工作。

A-levels: A*AA, 包括数学和高等数学A*A（如有）；Advanced Highers: AA/AAB 且数学A；IB: 39分（含核心分），HL 766（HL数学7分）