實用程式設計理論

內容簡介

實用程式設計理論正文部分共分為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 參考文獻

實用程式設計理論

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條