本书主要介绍了由图灵机开启的自动计算的基本思想，阐释了计算机科学的核心原理，考察了过去的一个世纪里计算机科学学科的一些重要概念。在讨论算法、编程、顺序和并行处理时，作者还探讨了新兴的现代思想，比如生物计算和认知建模，挑战了计算机科学作为人工科学的观点，并回答什么是计算机科学。