圖書目錄
中譯本序
第0章 緒言
0．0 引言
0．1 當前版本
0．2 快速瀏覽
0．3 致謝
第1章 基本理論
1．0 布爾理論
1．1 數論
1．2 字元理論
第2章 基本數據結構
2．0 束論
2．1* 集合論
2．2 串論
2．3 表論
第3章 函式理論
3．0 函式
3．1 量詞
3．2* 函式若干點討論
3．3 表作為函式
3．4* 極限與實數
第4章 程式理論
4．0 規範
4．1 程式開發
4．2 時間
4．3 空間
第5章 程式設計語言
5．0 作用域
5．1 數據結構
5．2 控制結構
5．3 時間與空間依賴
5．4* 斷言
5．5 子程式
5．6* 別名
5．7* 機率程式設計
5．8*函式式程式設計
第6章 遞歸定義
6．0 遞歸數據定義
6．1遞歸程式定義
第7章 理論設計與實現
7，0 數據理論
7．1 程式理論
7．2 數據轉換
第8章 並發
8．0 獨立組合
8．1 順序到並行的轉換
第9章 互動
9．0 互動變數
9．1 通信
第10章 練習
10．0 基本理論
10．1 基本數據結構
10．2 函式理論
10．3 程式理論
10．4 程式設計語言
10．5 遞歸定義
10．6 理論設計與實現
10．7 並發
10．8 互動
第11章 參考
11．0 釋疑
11．1 來源
11．2 參考文獻
11．3 詞語對照與索引
11．4 公理和定律
11．5 名字
11．6 符號
11．7 優先權
11．8 分配性
譯後記
