当前版本

本书可从下表的左列分成四个部分下载，文件为pdf格式
讲义可从下表的右列下载，文件为pdf格式，语言为英文

书 讲义（英文）
部分A     标题与目录
部分B
零至四章
  1. 序言
  2. 基本理论
  3. 基本数据结构
  4. 函数理论
  5. 程序理论
部分C
五至八章
  1. 程序设计语言
  2. 递归定义
  3. 理论设计与实现
  4. 并发
部分D
九至十一章
  1. 交互
  2. 练习
  3. 参考

练习解答可从作者处获得

English version

作者主页