计算机科学 文学学士/计算机科学硕士

该课程为四年制计算机科学专业，每年课程结构和评估方式如下： 第一年：必修课程占100%，包括连续数学、算法设计与分析、数字系统、离散数学、函数式编程、命令式编程、证明系统导论和线性代数、概率等。评估方式为四份笔试。 第二年：核心课程占50%，包括算法与数据结构、编译器、并发编程、计算模型；另50%为可选课程，如人工智能、计算机体系结构、计算机图形学、数据库、逻辑与证明、量子信息等。评估包括八份笔试，小组设计实践通过演示和答辩进行评分。 第三年：75%为可选课程，如计算机辅助形式验证、计算复杂性、计算机安全、几何建模、λ演算与类型、机器学习、编程语言原理等；25%为可选项目。评估方式为六份或八份笔试，外加项目报告（若选项目）。 第四年：62%为高级可选课程，涵盖安全、自动机与逻辑、范畴论、并发算法、计算生物学、博弈论、学习理论、数据库实现、自编程代理基础、几何深度学习、图表示学习、概率模型检验、量子软件等；38%为项目工作。评估为五份带回家考试或书面笔试，加上项目报告。