computer siene(世毕盟留学)

computer siene(世毕盟留学)

ID:34280893

大小:68.76 KB

页数:7页

时间:2019-03-04

computer siene(世毕盟留学)_第1页
computer siene(世毕盟留学)_第2页
computer siene(世毕盟留学)_第3页
computer siene(世毕盟留学)_第4页
computer siene(世毕盟留学)_第5页
资源描述:

《computer siene(世毕盟留学)》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、.ComputerScience计算机科学(ComputerScience,缩写为CS)是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的算法处理的系统学习。 CS包含很多分支领域;其中一些,比如计算机图形学强调特定结果的计算,而另外一些,比如计算复杂性理论是学习计算问题的性质。还有一些领域专注于挑战怎样实现计算。比如编程语言理论学习描述计算的方法,而程序设计是应用特定的编程语言解决特定的计算问题,人机交互则是专注于挑战怎样

2、使计算机和计算变得有用、可用,以及随时随地为人所用。 随着计算机的普及以及在不同领域的广泛使用,IT高科技尖端人才大受追捧。而美国可以称为是CS方面的鼻祖,拥有非常先进的计算机技术。留学美国就读CS专业的人也越来越多,申请压力越来越大。在准备留学美国之前,对于计算机科学这个专业的内涵与外延有一个概念性的了解尤为必要。 一般的大学只要设置了ComputerScience这个专业或系一般都包括下面涉及到的这些研究方向。 一、计算机研究方向 1.计算理论(Theoryofcomputation) 计算理论用来

3、研究计算的过程与功效的数学理论。1936年,数理逻辑专家便提出了计算模型的问题,借以解决每个问题是否都有解。通用图灵机影响了计算机的设计思想。主要包括最优化(optimization),计算几何和拓扑(computationalgeometryandtopology),近似算法(approximationalgorithms),密码(cryptography)和安全计算(securecomputation),网络设计(networkdesign),数据挖掘(datamining),机器学习(machin

4、elearning),有限元网格生成(finite-elementmeshgeneration)...和自动化软件验证(automaticsoftwareverification)。作为计算机科学的理论基础的计算理论已经广泛应用于科学的各个领域,程序存储式计算模型就是以图灵机为基础产生的,程序设计中则使用了递归函数的思想,自动机作为一种基本工具被广泛的应用在程序设计的编译过程中。随着科技的发展,计算理论会更多的应用于其他领域。 计算理论是完全偏向理论的学科,研究的不只是算法,更加重要的是算法的有效性和可

5、行性。算法可行性,算法复杂度,密码学相关领域都是这个偏理论的方向的研究对象。本专业不太建议同学们申请,从各个渠道得来的消息都是这个专业不好找工作。这一点在美国和中国都是一样的,过于偏重理论和科技前沿探索的专业方向往往工作比较难找。 2.计算几何学(Computationalgeometry) 计算几何学是研究几何问题的算法。在现代工程学与数学,诸如计算机图形学,计算机辅助设计,机器人学都要应用计算几何学。主要内容如:贝塞尔曲线和曲面,B样条曲线和曲面,孔斯曲面。 3.并行计算(Parallelcompu

6、tation) 并行计算(ParallelComputing)是指同时使用多种计算资源解决计算问题的过程。延伸学科有:并行编译程序(parallelzingcompilers),并行程序设计语言(parallelprogramminglanguage),并行处理系统(parallelprocessingsystem),并行数据库(paralleldatabase),并行算法(parallelalgorithm)。 4.形式化方法(formalmethods) 用于开发计算机系统的形式化方法是描述系统性质

7、的基于数学的技术,这样的形式化方法提供了一个框架,可以在框架中以系统的而不是特别的方式刻划、开发和验证系统。 形式化方法的一个重要研究内容是形式规约(FormalSpecification,也称形式规范或形式化描述),它是对程序“做什么”(whattodo)的数学描述,是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。 根据说明目标软件系统的方式,形式化方法可以分为两类:面向模型的形式化方法和面向属性的形式化方法。根据表达能力,形式化方法可以分为五类:

8、基于模型的方法,基于逻辑的方法,代数方法和基于网络的方法。 5.程序设计语言理论(Theoryofprogramminglanguage) 研究书写计算机程序语言的学科。主要内容:研究语法,语义,语用以及程序设计语言的优劣。有许多用于特殊用途的程序设计语言,只在特殊情况下使用。例如,PHP专门用来显示网页;Perl更适合文本处理;C语言被广泛用于操作系统和编译器(所谓的系统编程)的开发。 6.人工智能(ArtificialIntellige

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。