Hello~大家好，University of Sheffield挂科了是因为之前没有好好学习专业课程，那么要珍惜后面的学习机会，把落下的知识点补回来。今天谢菲尔德大学的学姐为同学们讲Computer Science专业一些基础知识，希望同学们可以从中有所收获。

信息与编码理论

信息论，与可能性和统计数字，与信息的量化有关。这是由克劳德·香农找到…的基本限制信号处理诸如压缩数据以及可靠地存储和传送数据的操作。编码理论是对编码(用于将信息从一种形式转换为另一种形式的系统)及其对特定应用的适用性。代码用于数据压缩,密码系统,错误检测和纠正，最近还针对网络编码。研究代码的目的是为了设计高效可靠的数据传输方法。

编程语言理论和形式方法

程序设计语言理论是计算机科学的一个分支，它涉及设计、实现、分析、表征和分类编程语言和他们的个体特征。它属于计算机科学的范畴，既依赖于也影响着数学、软件工程和语言学。这是一个活跃的研究领域，有许多专门的学术期刊。

形式方法是一种特殊的算术地基于技术的规格，发展与确认软件和五金器具系统。在软件和硬件设计中使用形式化方法的动机是期望像在其他工程学科中一样，执行适当的数学分析可以有助于设计的可靠性和稳健性。它们构成了软件工程的重要理论基础，尤其是在涉及安全或保障的情况下。形式化方法是软件测试的一个有用的辅助手段，因为它们有助于避免错误，并且还可以为测试提供一个框架。对于工业用途，需要工具支持。然而，使用正式方法的高成本意味着它们通常仅用于开发高完整性和生命关键系统，哪里安全还是安全至关重要。形式化方法最好被描述为各种各样的理论计算机科学尤其是基本面逻辑结石，正式语言,自动机理论，和程序语义学，但也类型系统和代数数据类型软硬件规范和验证中的问题。

计算机系统和计算过程

人工智能旨在或被要求综合面向目标的过程，如解决问题、决策、环境适应、学习和人类和动物的交流。从它起源于控制论在达特茅斯会议(1956年)，人工智能研究必然是跨学科的，利用专业领域，如应用数学,数理逻辑,符号学,电机工程,精神哲学,神经生理学，和社会智力。人工智能在大众心目中与机器人开发，但实际应用的主要领域一直是作为嵌入式组件出现在软件开发，这需要计算理解。20世纪40年代末的起点是艾伦·图灵问“计算机会思考吗?”，这个问题仍然没有得到有效的回答，尽管图灵测试仍然被用来评估人类智力水平上的计算机输出。但是，在涉及复杂的真实世界数据的计算机应用领域，评估和预测任务的自动化已经越来越成功地取代了人工监控和干预。

以上是Computer Science专业中的相关理论知识，如果同学需要系统化的补习，可以和我们的辅导老师进行联系，会有老师进行一对一的定制化辅导。留求艺专注解决英国留学生遇到的问题。