牛津大学计算机科学理学硕士项目旨在教授硬软件的规范、设计及高效运用的数学原理,适合计算机科学专业毕业生,也适合其他数学类学科受过编程训练或有编程经历的毕业生。牛津大学计算机科学理学硕士项目旨在为学生奠定基础,使学生在基于计算的行业内发展职业生涯,其中包括电子通信、程序控制、业务任务和安全关键领域;提升业内在职专业人士的技能;使学生掌握编程理论与实务和计算机系统设计方面的研究的基础;使学生掌握具有鲁棒性和前瞻性的知识、经验、推理方法、设计和实现技术。
序号 | 课程介绍 | Curriculum |
1 | 并发 | Concurrency |
2 | 并发程序设计 | Concurrent Programming |
3 | 计算机科学基础 | Foundations of Computer Science |
4 | 函数式语言 | Functional Programming |
5 | 智能系统 | Intelligent Systems |
6 | 面向对象编程 | Object-Oriented Programming |
7 | 计算复杂性 | Computational Complexity |
8 | 计算机辅助形式化验证 | Computer Aided Formal Verification |
9 | 计算机安全 | Computer Security |
10 | 计算机在社会中 | Computers in Society |
11 | 数据库 | Databases |
12 | 高级机器学习 | Advanced Machine Learning |
13 | 高级安全性 | Advanced Security |
14 | 自动机、逻辑和游戏 | Automata、Logic and Games |
15 | 计算博弈论 | Computational Game Theory |