帝国理工学科高级计算机理学硕士项目适用于有计算机背景及想要深入学习高级计算机理论和技术的学生。
帝国理工学科高级计算机理学硕士项目提供机会让学生与资深专家一起深入学习广泛的课题。
帝国理工学科高级计算机理学硕士项目适用于对行业内开发和应用导向型工作最感兴趣的学生,也适合对业界或学术界的研究工作感兴趣的学生。
序号 | 课程介绍 | Curriculum |
1 | Prolog语言概论 | Short Introduction to Prolog |
2 | 个人项目 | Individual project |
3 | Prolog语言 | Prolog |
4 | 工业软件工程 | Software Engineering for Industry |
5 | 分离逻辑:程序局部推理 | Separation Logic: Local Reasoning about Programs |
6 | 利用OpenSPL空间计算 | Computing in Space with OpenSPL |
7 | 并发进程 | Concurrent Processes |
8 | 医学影像计算 | Medical Image Computing |
9 | 隐私增强技术 | Privacy Enhancing Techniques |
10 | 计算神经动力学 | Computational Neurodynamics |
11 | 机器人高级估算 | Advanced Estimation in Robotics |
12 | 复杂性 | Complexity |
13 | 面向对象编程前沿议题 | Advanced Issues in Object Oriented Programming |
14 | 知识再现 | Knowledge Representation |
15 | 模态逻辑 | Modal Logic |