计算机科学（人工智能）专业 Msci (Hons)

Royal Holloway, University of London - 伦敦大学皇家霍洛威学院

在本模块中，你将发展对软件设计和工程过程的理解，包括瀑布和敏捷方法。你将学习如何识别常见的软件需求，并了解这些需求在现有系统中是如何被考虑的。你将了解软件设计的技术，以及软件工程师如何沟通他们的设计理念。你将考虑文件的重要性和当前行业标准符号的使用，如用户故事和统一建模语言（UML）。你还将分析和评论现有软件的设计，将用户体验作为衡量其是否适合使用的标准。

在本模块中，你将发展对互联网如何工作及其关键协议的理解。你将研究用于网络开发的技术，包括脚本语言和它们为网站和应用程序添加动态内容的潜力。你将考虑网络服务和相关技术的作用，并将研究网络安全的基本原则。

在本模块中，你将发展对集合、关系、函数和心率的形式推理的理解。你将研究程序数据和表示法的结构，学习编写和推理递归定义，并通过归纳法和矛盾法证明结果。你将考虑用图形来表示和推理问题，以及使用向量和变换来定义和操作图形对象。你还将研究概率和统计学在分析数据方面的应用。

在本模块中，你将发展对在编程环境中处理大型和无限对象的理解。你将学习如何使用形式逻辑来设计、推理和最小化开关电路，并用汇编语言编写基本程序。你将考虑有符号和无符号整数的二进制表示，以及如何编写正则表达式来描述集合，并建立确定性的自动机来识别这些集合。你还将研究自动机在顺序流系统的设计和推理中的应用。

在这个模块中，你将发展对计算机系统建设的理解，同时获得2D游戏设计的基本概念的知识，将它们应用于简单游戏的开发。本模块汇集了机器人学、游戏设计和面向对象编程的实验部分，并将允许你进展到一个小组项目，以应用你所学的概念。

在这个模块中，你将发展对编程和面向对象概念的理解。你将学习程序基础知识、控制流、数据结构、对象、异常以及文件输入和输出。你将考虑如何解决基本的编程任务以及对程序文件、测试、可读性和可修改性的需求.

在本模块中，你将发展对信息安全如何被现实世界的设计和实施决定所影响的理解。你将研究不同的加密算法，考虑它们的用途、优势和劣势。你将使用这些加密基元来审查和评估加密协议，并检查设计令牌和安全元素的合理决定。

在本模块中，你将发展对计算机专业人员角色的理解，获得作为团队一部分使用基于Scrum的敏捷开发的中等规模软件的实践经验。你将应用管理纪律并学习软件生命周期、团队开发、标准工业软件工程、项目管理、版本控制的使用和集成开发环境（IDE）。你将看到为什么项目成本和努力难以估计，并考虑为什么项目质量难以规定.

在本模块中，你将发展对网络操作系统的功能和架构的理解。你将审视操作系统的作用，考虑进程、内存和文件系统。你将学习编写基本的shell脚本，了解服务在操作系统层面的使用，并评估现有操作系统的理论和实践。你还将研究UNIX外壳，包括启动程序、输入和输出流、管道、过滤器和实用工具。

在本模块中，你将发展对数据库技术基本概念的理解，包括对数据库完整性和稳健性的需求，以及在基于网络的环境中使用现代数据库系统。你将研究数据库设计和数据的关系视图理论，学习描述有关数据库完整性和故障恢复的关键问题，并编写搜索查询语言（SQL）查询。你还将考虑设计和实现数据库的过程，从用户规格到最终设计，并使用应用程序编程接口（API）实现SQL数据库的接口.

在本模块中，你将发展对算法设计的理解，重点是时间和空间复杂性。你将研究基本算法，关注线性搜索、二进制搜索和基本排序的实现和分析，包括插入排序、选择排序、合并排序、快速排序和堆排序。你将考虑替代的数据结构表示，如二进制搜索树、哈希表和二进制堆，并将深入了解图算法的基本原理。

在本模块中，你将发展对软件工程技术和作为团队一部分工作所需的管理纪律的理解。你将了解基本的面向对象的概念，并考虑有效的程序文件、测试、可读性和可修改性的需要。你将考虑用于支持软件开发的工具，如版本控制器、调试器和代码风格检查器，并了解这些工具如何被整合到行业标准的开发环境（IDE）。你将使用测试驱动开发来交付一个小规模的项目.

在这一年，学生将学习选修模块.

在这个模块中，你将有机会计划和组织一个大型项目，分析复杂的想法，确定问题，并提出解决方案。你将运用科学原理并使用一系列的软件和硬件技术。你将分析你的解决方案的有效性并评估结果。你还将考虑法律、社会、道德和专业问题。你可以设计你自己的项目或从建议清单中选择一个主题。