圖書信息
書名:實用程式設計理論作 者：（加拿大）EricC.R.Hehner ，萬劍怡，鄭宇華 譯
出版社：科學出版社
出版時間：2010-6-1
實用程式設計理論ISBN:9787030274250
開本：16開
定價:56.00元
內容簡介
全書正文部分共分為12章，系統地介紹了一種程式設計理論，包括基本理論、基本數據結構、函式理論、程式理論、程式設計語言、遞歸定義、理論設計與實現、並發和互動等內容。本書的內容既系統、豐富、連貫，又非常精練，淺顯易懂。另外，本書還附有400多道有趣的練習題(全部集中在第10章)。本書可作為高等院校計算機科學專業的高年級本科生和研究生程式理論課程的教材，也可作為對軟體形式化方法有興趣的研究人員和技術人員的參考書。
圖書目錄
中譯本序第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分配性
譯後記
