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