计算机科学的基础

版权信息 书名：计算机科学的基础 作者：[美] Alfred V.Aho Jeffrey D.Ullman 译者：傅尔也 本书由北京图灵文化发展有限公司发行数字版。版权所有，侵权必 究。 您购买的图灵电子书仅供您个人使用，未经授权，不得以任何方式复制 和传播本书内容。 我们愿意相信读者具有这样的良知和觉悟，与我们共同保护知识产权。 如果购买者有侵权行为，我们可能对该用户实施包括但不限于关闭该帐 号等维权措施，并可能追究法律责任。 图灵社区会员 phantomk（540444533@qq.com） 专享 尊重版权 序 阅读前提 计算机科学基础课程相关建议 两学季或两学期的课程 一学期的CS2类课程 一学期的离散数学课程 本书特色 封面简介 致谢 代码、勘误和注释的在线访问 第 1 章 计算机科学：将抽象机械化 1.1 本书主要内容 1.1.1 数据模型 1.1.2 数据结构 1.1.3 算法 1.1.4 基本思路 1.2 本章主要内容 1.3 数据模型 1.3.1 编程语言数据模型 1.3.2 系统软件的数据模型 1.3.3 电路的数据模型 1.3.4 习题 1.4 C语言数据模型 1.4.1 C语言类型系统 1.4.2 函数 1.4.3 C语言数据模型中的操作 1.4.4 数据对象的创建和销毁 1.4.5 数据的访问和修改 1.4.6 数据的组合 1.4.7 习题 1.5 算法和程序设计 1.5.1 软件的创建 1.5.2 编程风格 1.6 本书中用到的一些C语言约定 1.7 小结 1.8 参考文献 第 2 章 迭代、归纳和递归 2.1 本章主要内容 2.2 迭代 2.2.1 排序 2.2.2 选择排序：一种迭代排序算法 2.2.3 习题 2.3 归纳证明 2.3.1 归纳证明为何有效 2.3.2 检错码 2.3.3 习题 2.4 完全归纳 2.4.1 使用多个依据情况进行归纳 2.4.2 验证完全归纳 2.4.3 算术表达式的规范形式 2.4.4 习题 2.5 证明程序的属性 2.5.1 循环不变式 2.5.2 while循环的循环不变式 2.5.3 习题 2.6 递归定义 2.6.1 表达式 2.6.2 平衡圆括号 2.6.3 习题 2.7 递归函数 习题 2.8 归并排序：递归的排序算法 2.8.1 合并 2.8.2 分割表 2.8.3 排序算法 2.8.4 完整的程序 2.8.5 习题 2.9 证明递归程序的属性 习题 2.10 小结 2.11 参考文献 第 3 章 程序的运行时间 3.1 本章主要内容 3.2......