理论计算机科学

理论计算机科学(Theoretical Computer Science)
常见学位 BS、MS、PhD
是否签证敏感
高中课程准备 理科
专业领域 理科
美国第一大学 麻省理工学院
注:美国第一大学是以USNEWS理论计算机科学专业排名为准的

理论计算机科学(Theoretical Computer Science,缩写TCS)主要研究有关计算机的相对更抽象化、逻辑化和数学化的问题,如计算理论,算法分析,以及程序设计语言的语义等。理论计算机科学属于计算机科学的一个分支,尽管它本身并非一个单独的研究主题,但从事这个领域的研究人员在计算机科学的研究者里往往自成一派。理论计算机科学有着数学和抽象的本质,但动机来自实践中和日常的计算问题。它旨在理解计算的本质,并根据这种理解提供更有效率的方法。

定义与范畴

精确地限制定义理论计算机科学的范围并非易事;根据计算机协会(ACM)算法与计算理论兴趣组(SIGACT)的表述:

“ 理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法,自动机理论,以及随机方面的研究。此领域的研究常需要强调严格的数学。”

计算机协会(ACM)《计算理论学报》(Transactions on Computation Theory)又为以上的列表添加了:编码理论,计算学习理论,以及数据库、信息获取、经济学模型和计算机网络中与理论计算机科学相关的内容。

赞 | 0
icon_咨询_16在线咨询