计算机科学专业是一门包含各种各样与计算和信息处理相关主题的系统学科，从抽象的算法分析、形式化语法等等，到更具体的主题如编程语言、程序设计、软件和硬件等。

该专业分为理论计算机科学和实验计算机科学两个部分。前者有其他名称，如计算理论、计算机理论、计算机科学基础、计算机科学数学基础等。后者常称为“计算机科学”而不冠以“实验”二字。