计算机科学是一门包含各种各样与计算和信息处理相关主题的系统学科，从抽象的算法分析、形式化语法等等，到更具体的主题如编程语言、程序设计、软件和硬件等。作为一门学科，它与数学、计算机程序设计、软件工程和计算机工程有显著的不同，却通常被混淆，尽管这些学科之间存在不同程度的交叉和覆盖。截至目前，计算机科学的研究大部分是基于“冯·诺依曼计算机”和“图灵机”的，因为它们是许多实际机器的模型。科学家也研究其它种类的机器，如在实际层面上的并行计算机和量子计算机和在理论层面上random和oracle计算机。
