*帝国理工学院计算机高级计算机硕士专业的相关信息由 Mastermate 手工收集并整理,如发现错误欢迎指出,所有信息均给出了官网地址,如出现不同请以学校官网为准
| 序号 |
课程中文名称 |
课程英文名称 |
| 1 |
MAC个人项目 |
MAC Individual Project |
| 2 |
Prolog简介 |
Short Introduction to Prolog |
| 3 |
序言 |
Prolog |
| 4 |
工业软件工程 |
Software Engineering for Industry |
| 5 |
高级计算机图形学 |
Advanced Computer Graphics |
| 6 |
面向对象编程中的高级问题 |
Advanced Issues in Object Oriented Programming |
| 7 |
高级机器人 |
Advanced Robotics |
| 8 |
高级证券 |
Advanced Securit |
| 9 |
高级统计机器学习和模式识别 |
Advanced Statistical Machine Learning and Pattern Recognition |
| 10 |
论证和多主体系统 |
Argumentation and Multi-agent Systems |
| 11 |
物联网中的人体传感器网络 |
Body Sensor Networks in the Internet of Things |
| 12 |
复杂 |
Complexity |
| 13 |
计算金融 |
Computational Finance |
| 14 |
计算优化 |
Computational Optimisation |
| 15 |
并发过程 |
Concurrent Processes |
| 16 |
密码学工程 |
Cryptography Engineering |
| 17 |
数据分析和概率推理 |
Data Analysis and Probabilistic Inference |
| 18 |
自主学习选择 |
Independent Study Option |
| 19 |
知识表示 |
Knowledge Representation |
| 20 |
大规模数据管理 |
Large Scale Data Management |
| 21 |
机器学习数学 |
Mathematics for Machine Learning |
| 22 |
医学图像计算 |
Medical Image Computing |
| 23 |
模态逻辑 |
Modal Logic |
| 24 |
绩效工程 |
Performance Engineering |
| 25 |
分权账本原则 |
Principles of Decentralized Ledgers |
| 26 |
隐私增强技术 |
Privacy Enhancing Techniques |
| 27 |
概率模型检查与分析 |
Probabilistic Model Checking and Analysis |
| 28 |
量子计算 |
Quantum Computing |
| 29 |
强化学习 |
Reinforcement Learning |
| 30 |
可扩展的分布式系统设计 |
Scalable Distributed Systems Design |
| 31 |
分离逻辑:程序的局部推理 |
Separation Logic: Local Reasoning about Programs |
| 32 |
软件可靠性 |
Software Reliability |