理论计算机科学需要什么数学,理论计算机科学

理论计算机科学(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

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)理论计算机科学 维基百科