计算机科学（英语：computer science，有时缩写为CS）是 系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。
计算机科学包含很多分支领域，有些强调特定结果的计算，比如计算机图形学；有些则关注更抽象的概念，如算法分析和形式化语法。此外，计算机科学也与数学、工程、心理学、认知科学、语言学等其他学科有着密切的联系和交叉。
尽管计算机科学的名字里包含“计算机”这几个字，但实际上它相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来，如计算科学（computing science）和datalogy，以精确强调两者之间的不同。
总的来说，计算机科学是一个广泛而深入的学科，它研究的是计算机系统、软件设计、算法和数据结构等各个方面，旨在探索计算的本质和实现方法。