计算机科学
计算机科学（，有时缩写为）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。
一种新科学
沃尔夫勒姆的《一种新科学》的基本主题是研究简单的抽象规则——特别是，基本计算机程序。在几乎任何类型的计算系统中，人们可以很快地在最简单的情况中找到具有相当复杂性的实例。这看起来似乎是对的，无论该系统具有什么样的组成部分或者设置。本书中探讨的系统包含：一维、二维和三维空间中的元胞自动机；移动自动机（mobile automata）；一维和二维空间中的图灵机；几个类型的替代和网络系统（substitution and network systems）；原始递归函数（primitive recursive functions）；嵌套递归函数（nested recursive functions）；组合子（combinators）；标记系统（tag systems）；寄存器机（register machines）；加法逆转（reversal-addition）；和一些其他系统。对于可以称为简单的程序，有几个标准：