《计算机科学的基础》（Al Aho、Jeff Ullman 著，傅尔也 译）

1.本书是计算机科学领域的名著 2.从后台算法到实际应用，全部例子均为C语言 3.内容全面，讲解清晰 本书全面而详细地阐述了计算机科学的理论基础，从抽象概念的机械化到各种数据模型的建立，用算法、数据抽象等核心思想贯穿各个主题，很好地兼顾了学科广度和主题深度，帮助读者培养计算机领域的大局观，学习真正的计算机科学。 我们相信，在1992年，本书适合用来介绍计算机科学理论，今天仍然是。——Al Aho 和 Jeffrey Ullman 目录： 第 1 章　计算机科学：将抽象机械化 第 2 章　迭代、归纳和递归 第 3 章　程序的运行时间 第 4 章　组合与概率 第 5 章　树 第 6 章　表数据模型 第 7 章　集合数据模型 第 8 章　关系数据模型 第 9 章　图数据模型 第 10 章　模式、自动机和正则表达式 第 11 章　模式的递归描述 第 12 章　命题逻辑 第 13 章　利用逻辑设计计算机元件 第 14 章　谓词逻辑