计算机科学，研究<a href="./?mention=计算机">计算机</a>及其周围各种现象和<a href="./?mention=规律">规律</a>的科学，亦即研究<a href="./?mention=计算机系统结构">计算机系统结构</a>、程序系统（即<a href="./?mention=软件">软件</a>）、<a href="./?mention=人工智能">人工智能</a>以及计算本身的性质和问题的<a href="./?mention=学科">学科</a>。计算机科学是一门包含各种各样与计算和<a href="./?mention=信息处理">信息处理</a>相关主题的系统学科，从抽象的算法分析、形式化<a href="./?mention=语法">语法</a>等等，到更具体的主题如编程语言、<a href="./?mention=程序设计">程序设计</a>、软件和<a href="./?mention=硬件">硬件</a>等。计算机科学分为理论计算机科学和实验计算机科学两个部分。后者常称为“计算机科学”而不冠以“实验”二字。前者有其他名称，如计算理论、计算机理论、计算机<a href="./?mention=科学基础">科学基础</a>、计算机科学数学基础等。数学文献中一般指理论计算机科学。