實(shí)用程序設(shè)計理論

中譯本序
第0章 緒言
0.0 引言
0.1 當(dāng)前版本
0.2 快速瀏覽
0.3 致謝
第1章 基本理論
1.0 布爾理論
1.0.0 公理和證明規(guī)則
1.0.1 表達(dá)式和證明格式
1.0.2 單調(diào)性和反單調(diào)性
1.0.3 上下文
1.0.4 形式化
1.1 數(shù)論
1.2 字符理論
第2章 基本數(shù)據(jù)結(jié)構(gòu)
2.0 束論
2.1 集合論
2.2 串論
2.3 表論
2.3.0多維結(jié)構(gòu)
第3章 函數(shù)理論
3.0 函數(shù)
3.0.0 簡化的函數(shù)記號
3.0.1 作用域和置換
3.1 量詞
3.2 +函數(shù)若干點(diǎn)討論
3.2.0函數(shù)包含和相等
3.2.1 高階函數(shù)
3.2.2 函數(shù)組合
3.3 表作為函數(shù)
3.4 極限與實(shí)數(shù)
第4章 程序理論
4.0 規(guī)范
4.0.0 規(guī)范記號
4.0.1 規(guī)范定律
4.0.2 精化
4.0.3 條件
4.0.4 程序
4.1 程序開發(fā)
4.1.0精化定律
4.1.1 表求和
4.1.2 二的指數(shù)冪
4.2 時間
4.2.0真實(shí)時間
4.2.1 遞歸時間
4.2.2 終止問題
4.2.3 可靠性與完備性
4.2.4 線性查找
4.2.5 二分查找
4.2.6 快速指數(shù)運(yùn)算
4.2.7 斐波那契數(shù)
4.3 空間
4.3.0 最大空間
4.3.1 平均空間
第5章 程序設(shè)計語言
5.0 作用域
5.0.0 變量說明
5.0.1 變量懸掛
5.1 數(shù)據(jù)結(jié)構(gòu)
5.1.0 數(shù)組
5.1.1 記錄
5.2 控制結(jié)構(gòu)
5.2.0 while循環(huán)
5.2.1 包含退出的循環(huán)
5.2.2 二維查找
5.2.3 for循環(huán)
5.2.4 轉(zhuǎn)向
5.3 時間與空間依賴
5.4 斷言
5.4.0 檢查
5.4.1 回溯
5.5.子程序
5.5.0 result表達(dá)式
5.5.1 函數(shù)
5.5.2 過程
5.6 別名
5.7 概率程序設(shè)計
5.7.0隨機(jī)數(shù)產(chǎn)生器
5.7.1 信息
5.8 函數(shù)式程序設(shè)計
5.8.0 函數(shù)精化
第6章 遞歸定義
6.0 遞歸數(shù)據(jù)定義
6.0.0 構(gòu)造和歸納
6.0.1 最小不動點(diǎn)
6.0.2 遞歸數(shù)據(jù)構(gòu)造
6.1 遞歸程序定義
6.1.0 遞歸程序構(gòu)造
6.1.1 循環(huán)定義
第7章 理論設(shè)計與實(shí)現(xiàn)
7.0 數(shù)據(jù)理論
7.0.0 數(shù)據(jù)-堆棧理論
7.0.1 數(shù)據(jù)-堆棧實(shí)現(xiàn)
7.0.2 簡單數(shù)據(jù)-堆棧理論
7.0.3 數(shù)據(jù)-隊列理論
7.0.4 數(shù)據(jù)-樹理論
7.0.5 數(shù)據(jù)-樹實(shí)現(xiàn)
7.1 程序理論
7.1.0 程肛堆棧理論
7.1.1.程序-堆棧實(shí)現(xiàn)
7.1.2 復(fù)雜程序堆棧理論
7.1.3 弱程肛堆棧理論
7.1.4 程序-隊列理論
7.1.5 程序-樹理論
7.2 數(shù)據(jù)轉(zhuǎn)換
7.2.0 安全開關(guān)
7.2.1 取一個數(shù)
7.2.2 語法分析
7.2.3 有界隊列
7.2.4 可靠性與完備性
第8章 并發(fā)
8.0 獨(dú)立組合
8.0.0 獨(dú)立組合定律
8.0.1 表并發(fā)
8.1 順序到并行的轉(zhuǎn)換
8.1.0 緩沖區(qū)
8.1.1 插入排序
8.1.2 哲學(xué)家就餐問題
第9章 交互
9.0 交互變量
9.0.0 自動調(diào)溫器
9.0.1 空間
9.1 通信
9.1.0 實(shí)現(xiàn)性
9.1.1 輸入和輸出
9.1.2 通信計時
9.1.3 遞歸定義的通信
9.1.4 合并
9.1.5 監(jiān)控器
9.1.6 反應(yīng)控制器
9.1.7 信道聲明
9.1.8 死鎖
9.1.9 廣播
……
第10章 練習(xí)
第11章 參考
譯后記