第一部分 预备知识 1
第1章 导引和历史回顾 3
第2章 算法和数据 14
第3章 程序设计语言和范型 40
第二部分 方法和分析 65
第4章 算法学方法 67
第5章 算法的正确性 82
第6章 算法的效率 106
第三部分 局限性和健壮性 131
第7章 无效性和难解性 133
第8章 不可计算性和不可判定性 160
第9章 算法学的通用性及其健壮性 183
第四部分 松弛规则 213
第10章 并行、并发及其他模型 215
第11章 概率算法 247
第12章密 码学和可靠交互 263
第五部分 更宏伟蓝图 279
第13章 软件工程 281
第14章 反应式系统 296
第15章 算法学与智能 314
后记 333
习题选解 334
参考书目注释 369
英汉对照表 433