计算机科学和数学 MCompu (Hons)

University of Bath - 巴斯大学

本模块旨在准确定义收敛和极限的概念，对序列和数列分析的主要定理进行严格的证明，并发展一个实变函数的连续性、微分和积分理论.

本单元旨在向学生介绍人工智能（AI）的基本概念。在完成本单元后，学生将能够。1. 展示对一系列人工智能技术、其优势和局限性的理解，2. 展示对概率论的基本原理及其在人工智能中的作用的理解，3. 将各种人工智能技术应用于简单的问题，4. 确定人工智能应用中的社会、法律和道德问题.

本模块旨在为数学的基本对象提供坚实的基础，如集合、函数、数字、多项式和矩阵。以具体的术语介绍线性代数，.

本模块旨在通过矩阵和向量空间及线性映射，提供线性代数的坚实基础，重点是最广泛适用的方面。

本模块旨在：向学生介绍计算机软件的开发，包括问题分析、建立需求、设计、实施和评估；向学生提供编程的术语和概念，无论使用何种语言；提供阅读和编写程序的实际技能，并制作程序以解决现实世界的问题；使学生对用所教语言编程以及能够学习不同的编程语言和编程范式感到自信.

本模块旨在继续练习《编程原理1》中开始的编程过程；扩展学生对软件开发的理解，包括外源性和内源性错误处理、防御性编程、散列和搜索；进一步发展阅读程序、编写程序、制作程序以解决现实世界问题和解决编程领域特定问题所需的实践技能；进一步提高学生用所教特定语言编程的能力，为学习不同编程语言和编程范式做好准备.

本模块旨在向学生介绍基本的抽象环理论，并提供有限维向量空间上线性算子的全面结构理论.

本模块旨在加深对线性代数的理解，对内积空间做一个扎实的介绍，并介绍多线性代数，重点是双线性形式.

本模块旨在将微分理论从一个实变的函数扩展到几个实变的函数和一个复变的函数。通过实例了解这些理论之间的关系，它们的几何解释，以及它们的应用.

本模块旨在将连续性和极限的概念从R扩展到Rn、规范空间和公制空间，并在这些空间中发展一些拓扑学。研究函数的序列及其与积分和幂级数的关系.

本模块旨在说明编程语言的逻辑和语义基础如何转化为可用的编程语言。为学生提供使用函数式编程语言的实践经验.

本模块旨在促进学生对创新软件系统设计的合作性、创造性和严谨性的技能和理解的发展.

本模块的目的是建立在学生对算法和数据结构的理解以及如何应用它们。为了便于对算法的差异进行实证评估，.

本单元旨在向学生介绍编程语言的各种风格。在完成本单元的学习后，学生将能够1.认识各种风格的编程语言；2.描述它们之间的区别；3.为手中的任务选择正确的编程风格和语言。

本模块旨在介绍计算的形式模型：有限自动机、推倒自动机、图灵机，以及相应的形式语言类别：正则语言、无上下文语言、半可解语言。教学生在这些计算模型中为具体的计算问题设计算法。介绍确定性计算和非确定性计算之间的二分法；让学生了解计算的极限，包括证明不可判定性的方法和不可判定问题的具体例子；介绍计算复杂性和复杂性类的概念。

本模块的目的是根据商定的项目提案，促进个人计算机科学项目的发展。培养研究和应用新的和以前获得的知识来按时开发计算机科学产品的技能。

本模块旨在通过开展原创性研究项目和与其他研究科学家在计算机科学和数学之间的领域进行交流来发展研究技能。