计算机科学与人工智能理科硕士荣誉学士

课程模块Modules

• 年一Year one
• 年二Year two
• Year three
• 年四Year four

10 modules

• 逻辑logic
• sets
• functions and relations
• graphs
• induction
• 基础概率basic probability
• statistics and matrices

8 modules

• sorting algorithms
• heaps
• binary search trees
• hashmaps
• graph algorithms
• finite state machines
• regular expressions
• context-free grammars
• 图灵机器Turing machines
• Lambda calculus
• 编程与效应programming with effects
• reasoning about programs
• 控制流动control flow
• advanced libraries
• 改进效率improving efficiency
• type systems
• functional pearls
• overview of parallel and distributed computing
• applications of distributed systems
• reliable network communication
• introduction to distributed data management
• introduction to distributed algorithms
• 影像处理与应用image processing and its applications
• fundamentals of digital images
• 数字影像处理理论与实践digital image processing theory and practice
• 应用影像处理applications of image processing

21 modules

• task environments
• reactive, deliberative and hybrid architectures for individual agents
• architectures and coordination mechanisms for multi-agent systems
• 机器学习基础machine learning foundations
• pattern recognition foundations
• artificial neural networks
• 深学习deep learning
• 应用机器学习applications of machine learning
• 数据采矿技术data mining techniques
• evaluating hypotheses
• 基础统计学basic statistics
• types of data
• 数据可视化技术data visualisation techniques
• 数据建模data modelling
• data pre-processing methods including data imputation
• forecasting methods
• clustering and classification methods (decision trees, naīve bayes classifiers, k-nearest neighbours)
• 数据仿真data simulation
• model interpretation techniques to aid decision support

20 modules

• 广告特设网络Ad Hoc Networks
• Mobile Ad Hoc Networks (MANETs)
• Vehicular Ad Hoc Networks (VANETs)
• Disconnection/Disruption/Delay Tolerant Networks (DTNs)
• 基础统计学basic statistics
• types of data
• 数据可视化技术data visualisation techniques
• 数据建模data modelling
• data pre-processing methods including data imputation
• forecasting methods
• clustering and classification methods (decision trees, naīve bayes classifiers, k-nearest neighbours)
• 数据仿真data simulation
• model interpretation techniques to aid decision support
• task environments
• reactive, deliberative and hybrid architectures for individual agents
• architectures and coordination mechanisms for multi-agent systems
• the nature of uncertainty captured by fuzzy sets and associated links to human reasoning
• inference using fuzzy sets
• the similarity of fuzzy sets
• design and modelling of information via fuzzy sets
• type-1 fuzzy sets
• type-2 fuzzy sets
• fuzzy logic systems
• fuzzy set-based applications
• linear programming
• integer programming
• combinatorial optimisation
• 建模与优化软件modelling and optimisation software
• multi-objective optimisation
• 运营研究仿真Operations Research Simulation
• 社会仿真Social Simulation
• 数据科学Data Science
• Automated Scheduling
• 决策分析Decision Analysis
• 机器学习基础machine learning foundations
• pattern recognition foundations
• artificial neural networks
• 深学习deep learning
• 应用机器学习applications of machine learning
• 数据采矿技术data mining techniques
• evaluating hypotheses
• basic lambda calculus
• operational semantics
• domain theory
• types, propositions as types and formal verification
• 管理导论新软件或信息技术系统management of the introduction of new software or IT systems
• 软件项目管理实践software project management practices
• practical experience of use of an Agile software development project management process
• 实践实践使用测试驱动发展practical experience of use of Test Driven Development
• pair programming and various approaches to software management tools, including the use of software versioning
• project management planning tools
• continuous integration and deployment
• working in teams