《计算机科学的基础》,作为斯坦福大学教程,结合了数据结构与离散数学的初级教程,目录如下: 第一章:抽象的机械化 第二章:迭代,归纳,递归 第三章:程序运行的时间 第四章:组合与概率 第五章:树 第六章:表数据模型 第七章:集合数据模型 第八章:关系数据模型 第九章:图数据模型 第十章:模式、自动机和正则表达式 第十一章:模式的递归描述 第十二章:命题逻辑 第十三章:利用逻辑设计计算机元件 第十四章:谓词逻辑