實用程序設計理論

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