计算机科学有哪些分类？
25#0
计算机科学（，有时缩写为）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。
计算机科学
25#42
在中国，“计算机科学”或“计算机科学与技术”是工科（一级门类）下的二级专业。一般可细分为三级专业：
计算机科学
25#3
著名计算机科学家艾兹赫尔·戴克斯特拉曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如数学、工程学、认知科学和经济学等。
计算机科学
25#11
这些贡献包括：提出计算机科学可以分成三个领域：数学、工程学、科學。Amnon H. Eden提议了三种范式应用于计算机科学的各个领域：
计算机科学
506#7
数理逻辑的主要分支包括：模型论、证明论、递归论和公理化集合论。数理逻辑和计算机科学有许多重合之处，这是因为许多计算机科学的先驱者既是数学家、又是逻辑学家，如艾倫·圖靈、邱奇等。
数理逻辑
25#18
编程语言理论是计算机科学的一个分支，主要处理编程语言的设计、实现、分析、描述和分类，以及它们的个体特性。它属于计算机科学学科，既受影响于也影响着数学、软件工程和语言学。它是公认的计算机科学分支，同时也是活跃的研究领域，研究成果被发表在众多学术期刊，计算机科学以及工程出版物。
计算机科学
25#39
主要进行计算和算法推理的研究。其中包括计算理论、算法分析、形式化方法、并行理论、数据库、计算机图形学以及系统分析等。通常也教授程序设计，但仅仅将它看作是支持计算机科学其它领域的媒介，而不是高级研究的重心。
计算机科学
25#12
作为一个学科，计算机科学涵盖了从算法的理论研究和计算的极限，到如何通过硬件和软件实现计算系统。 CSAB（以前被叫做"Computing Sciences Accreditation Board"），由Association for Computing Machinery（ACM）和（IEEE-CS）的代表组成，确立了计算机科学学科的4个主要领域："计算理论"，"算法与数据结构"，"编程方法与编程语言"，以及"计算机组成与架构"。CSAB还确立了其它一些重要领域，如软件工程，人工智能，计算机网络与通信，数据库系统，并行计算，分布式计算，人机交互，计算机图形学，操作系统，以及数值和符号计算。
计算机科学
25#13
广义的理论计算机科学包括经典的计算理论和其它專注于更抽象、逻辑与数学方面的计算。
计算机科学
5617#61
计算机科学建立在理论语言学、离散数学和电子工程基础上，研究计算的本质和极限。它包括计算理论、计算复杂度、数据库、计算机网络、人工智能、计算机硬件设计等子学科。相对于软件工程，计算机科学更强调其数学理论基础，后者则强调程序和软件设计的实践。
科学史