MAC个人项目

70073

MAC Individual Project

Prolog简介

Short Introduction to Prolog

以数学逻辑为基础的计算机编程语言

70074

Prolog

工业软件工程

70025

Software Engineering for Industry

高级计算机图形学

70001

Advanced Computer Graphics

面向对象编程中的高级问题

Advanced Issues in Object Oriented Programming

高级机器人

70003

Advanced Robotics

高级证券

Advanced Securit

高级统计机器学习和模式识别

Advanced Statistical Machine Learning and Pattern Recognition

论证和多主体系统

Argumentation and Multi-agent Systems

物联网中的人体传感器网络

Body Sensor Networks in the Internet of Things

复杂性

70005

Complexity

计算金融

70006

Computational Finance

计算优化

70007

Computational Optimisation

并发过程

Concurrent Processes

密码学工程

70009

Cryptography Engineering

数据分析和概率推理

Data Analysis and Probabilistic Inference

自主学习选择

70072

Independent Study Option

知识表示

Knowledge Representation

大规模数据管理

Large Scale Data Management

机器学习数学

70015

Mathematics for Machine Learning

医学图像计算

Medical Image Computing

人工智能中策略推理的模态逻辑

70031

Modal Logic for Strategic Reasoning in AI

系统性能工程

70075

System Performance Engineering

分权账本原则

Principles of Decentralized Ledgers

隐私工程

70018

Privacy Engineering

概率模型检查与分析

Probabilistic Model Checking and Analysis

量子计算

70021

Quantum Computing

强化学习

70028

Reinforcement Learning

可扩展的分布式系统设计

Scalable Distributed Systems Design

分离逻辑：程序的局部推理

Separation Logic: Local Reasoning about Programs

软件可靠性

70024

Software Reliability