理论计算机科学-迁木网

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

定义与范畴

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

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

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

大学排名

2014USNEWS美国大学理论计算机科学排名：

排名	学校	学校英文名	州/城市
1	麻省理工学院	Massachusetts Institute of Technology	Cambridge, MA
2	加州大学伯克利分校	University of California–Berkeley	Berkeley, CA
3	康奈尔大学	Cornell University	Ithaca, NY
4	普林斯顿大学	Princeton University	Princeton, NJ
5	卡耐基梅隆大学	Carnegie Mellon University	Pittsburgh, PA
6	斯坦福大学	Stanford University	Stanford, CA
7	佐治亚理工学院	Georgia Institute of Technology	Atlanta, GA
8	华盛顿大学	University of Washington	Seattle, WA
9	哈佛大学	Harvard University	Cambridge, MA
10	德克萨斯大学奥斯汀分校	University of Texas–Austin	Austin, TX
11	伊利诺伊大学厄本那-香槟分校	University of Illinois–Urbana-Champaign	Urbana, IL
12	威斯康辛大学麦迪逊分校	University of Wisconsin–Madison	Madison, WI
13	哥伦比亚大学	Columbia University	New York, NY
14	布朗大学	Brown University	Providence, RI
15	加州大学圣地亚哥分校	University of California–San Diego	La Jolla, CA
15	芝加哥大学	University of Chicago	Chicago, IL
17	加州理工学院	California Institute of Technology	Pasadena, CA
17	纽约大学	New York University	New York, NY
17	耶鲁大学	Yale University	New Haven, CT
20	宾夕法尼亚大学	University of Pennsylvania	Philadelphia, PA
21	杜克大学	Duke University	Durham, NC
21	罗格斯新泽西州立大学新布伦瑞克分校	Rutgers, the State University of New Jersey–New Brunswick	Piscataway, NJ

*(2)

参考资料：

(1)理论计算机科学维基百科

(2) US NEWS Theoretical computer sciences Rankings 2013/14 USNEWS排名

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