学习内容
计算机理论，顾名思义，是为计算机科学的发展与研究提供理论基础的一门学科。这个课程的学习涉及到 CS的核心课题，归纳起来涵盖了可计算性、文法与自动机、逻辑学、复杂性及语义学等 5个部分，涉及到可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性和编程语言的语义等内容，并学习和研究这些内容之间的联系。
研究课题
算法，算法学与复杂性理论，可计算性理论，自动机理论，形式语言理论，编程语言理论，矩阵计算，计算几何学（包括孔斯曲面等，与计算机图形学交叉），定理证明，量子信息理论，组合算法，并行编程，时间安排理论（Scheduling theory），并行算法，形式化方法（formalmethod），程序设计语言中的理论部分如语法语意以及程序设计语言的优劣分析等。
热门程度
专业排名前76的CS学校中有45所学校开设计算机理论研究方向，开设率为59.2%。它同样是计算机科学的基础方向之一，有较高的研究热度。由于其属于理论研究，因此申请此方向的人并不多，毕业生的主要就业去向也更多地是在学术界或者科研机构。
更多美国留学http://usa.weilanliuxue.cn/访问蔚蓝美国留学网
