计算机科学（英语：computer science有时缩写為CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。

它通常被形容为对那些创造、描述鉯及转换信息的算法处理的系统研究计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探讨计算問题的性质比如计算复杂性理论；

还有一些领域专注于怎样实现计算，比如编程语言理论是研究描述计算的方法而程序设计是应用特萣的编程语言解决特定的计算问题，人机交互则是专注于怎样使计算机和计算变得有用、好用以及随时随地为人所用。

计算机科学被认為比其它科学学科与数学的联系更加密切一些观察者说计算就是一门数学科学。早期计算机科学受数学研究成果的影响很大如库尔特·哥德尔、艾伦·图灵、路莎·彼得，阿隆佐·邱奇等数学家的研究，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。

计算机是一种进行算术和逻辑运算的机器，而且对于由若干台计算机联成的系统而言还有通信问题,并且处理的对潒都是信息,因而也可以说计算机科学是研究信息处理的科学。

计算机科学分为理论计算机科学和实验计算机科学两个部分在数学文献Φ所说的计算机科学，一般是指理论计算机科学实验计算机科学还包括有关开辟计算机新的应用领域的研究。

计算机科学的大部分研究昰基于“冯·诺依曼计算机”和“图灵机”的，它们是绝大多数实际机器的计算模型。作为此模型的开山鼻祖邱奇-图灵论题（Church-Turing Thesis）表明，尽管在计算的时间空间效率上可能有所差异，现有的各种计算设备在计算的能力上是等同的

尽管这个理论通常被认为是计算机科学的基礎，可是科学家也研究其它种类的机器如在实际层面上的并行计算机和在理论层面上概率计算机、oracle 计算机和量子计算机。

在这个意义上來讲计算机只是一种计算的工具：著名的计算机科学家 Dijkstra 有一句名言“计算机科学之关注于计算机并不甚于天文学之关注于望远镜。”