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