計算的理論與實踐

內容簡介

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

圖書目錄

第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圖像的數位化表示方法

計算的理論與實踐

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條