计算机科学是一门研究计算机及其周围现象和规律的学科，它涵盖了计算机系统结构、程序系统（即软件）、人工智能以及计算本身的性质和问题。这个学科从抽象的算法分析、形式化语法，到更具体的编程语言、程序设计、软件和硬件等方面，都进行了系统的研究。计算机科学通常被分为理论计算机科学和实验计算机科学两个部分，后者也被称为计算机科学而不加“实验”二字。
计算机科学的研究领域非常广泛，包括但不限于算法、数据结构、计算机体系结构、操作系统、编程语言、软件工程、人工智能、人机交互、数据库管理、网络和信息安全等。这个学科根植于电子工程、数学和语言学，是科学、工程和艺术的结晶，并在20世纪后期成为一门独立的学科，发展出了自己的方法和术语。
计算机科学对于推动计算机技术的发展和应用具有极其重要的作用，它影响着我们日常生活中的许多方面，从简单的文字处理到复杂的全球网络系统。