书籍介绍

这不是一本教你写代码或装软件的手册，而是一次为普通读者绘制的「计算机世界地图」。作者 Glenn Brookshear 把看似庞杂的计算机科学——从编码、体系结构，到操作系统、网络、数据结构，再到算法与计算理论——梳理成一条清晰的认知主线。书中反复强调一个核心观念：抽象。正是通过将复杂系统层层拆解为可理解的单元，人才能驾驭计算机、汽车乃至整个互联网。而真正引发讨论的，是它对「机器能做什么」的冷静界定：算法达不到的地方，机器的能力也就止步，哥德尔不完备性定理正是这一边界的经典注脚。对于想真正理解信息时代底层逻辑、又不愿陷入技术细节的读者，这是一本值得摆在书架上的入门之作。

AI导读

核心看点

涵盖硬件、软件、数据组织与计算理论四大核心领域
兼顾学科广度与主题深度，紧跟最新技术发展趋势
配有千余习题与图表，辅助读者巩固知识并参与讨论

读者共识

内容全面且层次清晰，是了解计算机科学的入门地图
作为经典教材，兼具科普性与专业性，适合初学者
翻译质量参差不齐，部分表述晦涩，需耐心阅读

精彩摘录

"机器的智能级别受限于算法所传达的智能。只有存在执行某一项任务的算法时，我们才可以制造出执行这一任务的机器，换言之，如果我们找不到一个解决某问题的算法，那么这个问题的解决就超出了机器的能力范围。 20世纪30年代，库尔特·哥德尔发表了不完备性定理的论文，它使确定算法能力的局限性成为数学的一个研究课题。这个定理的主旨就是，在任何一个包括传统意义的算数系统的数学理论内，总有一些命题的真伪无法通过算法的手段来确定。简言之，对于我们算数系统的任何全面研究都超越了算法活动的能力。"
"关于算法能力的研究，开创了今天计算机科学这门学科。"
"因特网Internet......这种技术将个人计算机连成了一个全球系统。 ......这样一个系统，它可以通过因特网把计算机上存储的文档链接起来形成错综复杂的链接信息网，这便是万维网，简称Web。"
"事实上，研究计算机科学不同分支的研究人员对科学的定义也许会截然不同。例如，计算机体系结构领域中的研究者主要关注微型电路技术，因此他们将计算机科学视为技术的进步和应用；但数据库系统领域的研究者则认为计算机科学就是要寻求方法来提升信息系统的有用性；而人工智能领域的研究者则把计算机科学视为智能和智能行为的研究。"
"抽象（abstraction)在本书中的意思是指一个实体的外部特征与其内部构成细节之间的分离。抽象使我们可以忽略一些复杂设备（如计算机、汽车和微波炉等）的内部细节，而把它们作为单一的可理解的单元，而且正是通过抽象，这些复杂的系统才能够被设计和生产出来。计算机、汽车和微波炉由若干部件构成，而这些部件又分别由更小的部件构成。每个部件表示一层抽象，在此层面上，该部件的使用与它内部构成细节是分隔的。"
"计算设备是通过各种抽象工具构建的。我们还会看到，大型软件系统开发是以模块化方式完成的，其中每个模块都被作为较大模块上的一种抽象工具。此外，在计算机科学本身的发展中，抽象也扮演了很重要的角色，有了它，研究人员可以把精力集中在一个复杂领域中的特定范围。"