当前版本 本书可从下表的左列分成四个部分下载，文件为pdf格式 讲义可从下表的右列下载，文件为pdf格式，语言为英文 书 讲义（英文） 第0章 标题与目录 序言 第1章 基本理论 第2章 基本数据结构 第3章 函数理论 第4章 程序理论 第5章 程序设计语言 第6章 递归定义 第7章 理论设计与实现 第8章 并发 第9章 交互 第10章 练习 第11章(之一) 参考 第11章(之二) 练习解答可从作者处获得 English version 作者主页