计算机科学的基础 内容简介

本书全面而详细地阐述了计算机科学的理论基础，从抽象概念的机械化到各种数据模型的建立，用算法、数据抽象等核心思想贯穿各个主题，很好地兼顾了学科广度和主题深度，帮助读者培养计算机领域的大局观，学习真正的计算机科学。

计算机科学的基础 目录

序

第 1 章　计算机科学：将抽象机械化

第 2 章　迭代、归纳和递归

第 3 章　程序的运行时间

第 4 章　组合与概率

第 5 章　树

第 6 章　表数据模型

第 7 章　集合数据模型

第 8 章　关系数据模型

第 9 章　图数据模型

第 10 章　模式、自动机和正则表达式

第 11 章　模式的递归描述

第 12 章　命题逻辑

第 13 章　利用逻辑设计计算机元件

第 14 章　谓词逻辑

计算机科学的基础 精彩文摘

计算机科学是个新领域，不过它几乎已经触及人类工作的每个方面。计算机、信息系统、文本编辑器、电子表格的普及，以及使得计算机更便于使用、人们生产效率的精彩应用程序的激增，都显示出计算机科学对社会的影响。该领域有个重要的部分，涉及如何让程序设计更容易以及让软件更可靠。不过从根本上讲，计算机科学是一门抽象的科学，它为人们思考问题以及找到适当的机械化技术解决问题而建立模型。

其他科学是顺其自然地研究宇宙。例如，物理学家的工作就是理解世界是如何运转的，而不是去创造一个用物理定律能更好地理解的世界。而计算机科学家则必须抽象现实世界中的问题，使其既可以为计算机用户所理解，又可以在计算机内加以表示和操作。

进行抽象的过程有时很简单。例如，我们能熟练地用“命题逻辑”这种抽象方式，为制造计算机所使用的电子电路的行为建模。通过逻辑表达式进行的电路建模是不准确的，它简化了或者说是抽象掉了很多细节，比如电子流经电路和门所花的时间。然而，命题逻辑模型已经足够帮助我们顺利设计计算机电路了。我们将在第12章中更多地探讨命题逻辑。