计算机科学
计算机科学（，有时缩写为）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。
科学史
计算机科学建立在理论语言学、离散数学和电子工程基础上，研究计算的本质和极限。它包括计算理论、计算复杂度、数据库、计算机网络、人工智能、计算机硬件设计等子学科。相对于软件工程，计算机科学更强调其数学理论基础，后者则强调程序和软件设计的实践。