计算机科学与哲学

如果你喜欢数学问题求解，想学习计算机科学，同时对生命和宇宙有更广泛的兴趣——例如人工智能能教给我们关于自身的什么，它将如何影响世界，或者我们应如何应对这些巨大变化——那么这个学位可能适合你。该课程结合了计算机科学和哲学，两者在智力上令人兴奋且富有创造性，并有许多相互联系。课程提供分析和技术知识，以及论述、写作和研究技能，有机会在两个国际知名的院系与顶尖学者一起学习。

第一年：计算机科学（算法设计与分析、离散数学、函数式编程、证明系统导论、命令式编程、概率论）；哲学（逻辑学导论、图灵关于可计算性和智能的论述、一般哲学、逻辑与概率中的哲学主题）。第二年：计算机科学核心课程（算法与数据结构、小组设计实践、计算模型）和选修课（人工智能、计算机体系结构、编译器、数据库、逻辑与证明）；哲学选修课（早期现代哲学、伦理学、知识与实在、科学哲学、心灵哲学）。第三年：计算机科学选修课（计算机辅助形式验证、机器学习、编程语言原理、量子信息）；哲学选修课（伦理学、哲学逻辑、认知科学哲学、数学哲学、逻辑与语言哲学、哲学论文）。第四年：计算机科学高级选修课（自动机、逻辑与博弈、范畴、证明与过程、计算机视觉、几何深度学习、量子过程与计算）和可选项目；哲学高级选修课和可选论文。

A*AA，包括数学和进阶数学（如提供）的A*A（顺序不限）

毕业生可在学术界、工业界从事计算机科学、人工智能、哲学研究或相关领域工作，具备跨学科分析和沟通能力。