計算的理論與實踐

《計算的理論與實踐》是2020年清華大學出版社出版的圖書，作者是欒尚敏。

基本信息

計算的理論與實踐

作者：欒尚敏

定價：48元

印次：1-1

ISBN：9787512141841

出版日期：2020.05.01

內容簡介

本書沿著計算發展的歷史，介紹計算理論的模型及其在軟硬體方面的實踐成果。計算理論的模型主要包含遞歸可計算函式、λ演算、圖靈機以及波斯特系統。其次，介紹了受圖靈機模型影響而產生的馮?諾依曼模型，以及該模型下計算機的工作原理、硬體組成等。最後，介紹了計算模型對軟體系統的影響，包括程式設計方法、系統軟體和套用軟體。 本書可以作為計算機類相關專業本科生的教材，也可以作為想了解計算技術背景、發展過程、理論基礎、套用情況人員的參考書目。

目錄

第1章緒論

1.1計算概念的形成

1.1.1遞歸函式

1.1.2λ演算

1.1.3圖靈機

1.2計算的發展

1.2.1字元編碼

1.2.2形式語言及自然語言處理

1.2.3數字圖像處理與計算機視覺

1.2.4語音信號處理

1.3計算的本質

1.4本章小結

1.5習題

第2章計算的理論

2.1可計算的含義

2.1.1算法與能行過程

2.1.2算法的描述方法

2.2構造函式的方法

2.2.1數論函式

2.2.2構造函式的方法

2.3遞歸函式

2.3.1初等函式

2.3.2原始遞歸函式

2.3.3Ackermann函式不是原始遞歸函式

2.3.4一般遞歸函式

2.4λ演算

2.4.1語法規則

2.4.2基本函式

2.4.3歸約

2.4.4增強λ演算

2.4.5LISP語言簡介

2.4.6其他高級語言中的λ表達式

2.5波斯特系統及其套用

2.5.1波斯特系統簡介

2.5.2基於產生式的專家系統

2.5.3產生式在形式語言中的套用

2.5.4Prolog語言簡介

2.6圖靈機

2.7本章小結

2.8習題

第3章計算在硬體方面的實踐

3.1馮?諾依曼的計算模型

3.2工作原理

3.3數字電子計算機系統的基本組成

3.4計算機的發展歷程

3.5計算機硬體系統

3.6本章小結

3.7習題

第4章計算機中的信息表示

4.1數制及其相互轉換

4.1.1數據的表示單位

4.1.2常用進制及其相互轉換

4.2數字和英文字元的表示方法

4.2.1計算機中數的表示形式

4.2.2字元的表示

4.3中文信息的數位化

4.4圖像數位化

4.4.1圖像的數位化表示方法

4.4.2圖像數位化的步驟

4.5音頻數位化

4.5.1描述音頻的物理量

4.5.2音頻數位化的步驟

4.5.3數字音頻還原為模擬音頻

4.5.4常見數位化音頻檔案的格式

4.6視頻數位化

4.7本章小結

4.8習題

第5章計算在軟體方面的實踐

5.1計算機軟體系統

5.2系統軟體

5.2.1作業系統

5.2.2Windows作業系統簡介

5.2.3語言處理程式

5.2.4服務程式

5.2.5資料庫管理系統

5.3套用軟體

5.3.1Word 2010簡介

5.3.2Excel 2010簡介

5.3.3PowerPoint 2010簡介

5.4本章小結

5.5習題

第6章軟體構造

6.1程式設計語言發展歷史

6.1.1機器語言

6.1.2彙編語言

6.1.3高級程式設計語言

6.2程式設計方法學

6.2.1結構化程式設計方法

6.2.2面向對象程式設計方法

6.3軟體的構造

6.3.1疊代和遞歸

6.3.2軟體構造

6.4本章小結

6.5習題

第7章軟體工程簡介

7.1軟體工程發展歷史

7.1.1軟體工程的發展歷史

7.1.2軟體工程的定義

7.2軟體生存周期

7.3常用軟體開發模型簡介

7.3.1瀑布模型

7.3.2噴泉模型

7.3.3快速原型

7.3.4增量模型

7.3.5螺旋模型

7.3.6基於構件的開發模型

7.3.7敏捷開發模型

7.3.8智慧型模型

7.3.9總結

7.4本章小結

7.5習題

第8章智慧型軟體新技術

8.1人工智慧

8.1.1人工智慧的產生與發展

8.1.2人工智慧主要學派

8.1.3人工智慧的套用領域

8.1.4機器學習簡介

8.1.5神經網路與深度機器學習

8.2智慧型軟體新技術

8.2.1軟體自動化

8.2.2基於深度學習的程式合成

8.3本章小結

8.4習題

參考文獻