Computer Science and Philosophy BA/MCompSciPhil

该课程为为期四年的计算机科学与哲学联合学位项目，结构如下：

第一年：学习计算机科学基础课程（如算法设计与分析、离散数学、函数式编程、命令式编程、概率）和哲学课程（如图灵论可计算性与智能、一般哲学、逻辑与概率中的哲学议题）。评估方式为三门计算机科学考试和两门哲学考试。

第二年：计算机科学占50%（核心课程包括算法与数据结构、小组设计实践、计算模型；另选部分选修课，如人工智能、计算机架构、编译器、数据库、逻辑与证明）；哲学占50%（可选早期现代哲学、伦理学、知识与实在、科学哲学、心灵哲学等）。评估通过4至6门计算机科学考试（依学生选择而定）。

第三年：计算机科学与哲学各占25%–75%，课程可选范围包括计算机辅助形式验证、计算复杂性、机器学习、编程语言原理，以及人工智能伦理、哲学逻辑、认知科学哲学、数学哲学、逻辑与语言哲学等。需完成5至9门考试，其中至少3门为哲学考试，并完成哲学论文。

第四年：深入高级课程，计算机科学提供高级选修课（如高级安全、计算博弈论、计算学习理论、并发算法与数据结构、图表示学习）并可选做计算机科学项目；哲学提供高级专题课程，并可选写哲学论文。评估方式为每门计算机科学课程一次考试或带回家的作业；每门哲学课程包括三小时笔试和一篇5000字论文。