計算的理論與實踐

第1章緒論
1.1計算概念的形成
1.1.1遞歸函數(shù)
1.1.2λ演算
1.1.3圖靈機
1.2計算的發(fā)展
1.2.1字符編碼
1.2.2形式語言及自然語言處理
1.2.3數(shù)字圖像處理與計算機視覺
1.2.4語音信號處理
1.3計算的本質(zhì)
1.4本章小結(jié)
1.5習題
第2章計算的理論
2.1可計算的含義
2.1.1算法與能行過程
2.1.2算法的描述方法
2.2構(gòu)造函數(shù)的方法
2.2.1數(shù)論函數(shù)
2.2.2構(gòu)造函數(shù)的方法
2.3遞歸函數(shù)
2.3.1初等函數(shù)
2.3.2原始遞歸函數(shù)
2.3.3Ackermann函數(shù)不是原始遞歸函數(shù)
2.3.4一般遞歸函數(shù)
2.4λ演算
2.4.1語法規(guī)則
2.4.2基本函數(shù)
2.4.3歸約
2.4.4增強λ演算
2.4.5LISP語言簡介
2.4.6其他高級語言中的λ表達式
2.5波斯特系統(tǒng)及其應用
2.5.1波斯特系統(tǒng)簡介
2.5.2基于產(chǎn)生式的專家系統(tǒng)
2.5.3產(chǎn)生式在形式語言中的應用
2.5.4Prolog語言簡介
2.6圖靈機
2.7本章小結(jié)
2.8習題
第3章計算在硬件方面的實踐
3.1馮?諾依曼的計算模型
3.2工作原理
3.3數(shù)字電子計算機系統(tǒng)的基本組成
3.4計算機的發(fā)展歷程
3.5計算機硬件系統(tǒng)
3.6本章小結(jié)
3.7習題
第4章計算機中的信息表示
4.1數(shù)制及其相互轉(zhuǎn)換
4.1.1數(shù)據(jù)的表示單位
4.1.2常用進制及其相互轉(zhuǎn)換
4.2數(shù)字和英文字符的表示方法
4.2.1計算機中數(shù)的表示形式
4.2.2字符的表示
4.3中文信息的數(shù)字化
4.4圖像數(shù)字化
4.4.1圖像的數(shù)字化表示方法
4.4.2圖像數(shù)字化的步驟
4.5音頻數(shù)字化
4.5.1描述音頻的物理量
4.5.2音頻數(shù)字化的步驟
4.5.3數(shù)字音頻還原為模擬音頻
4.5.4常見數(shù)字化音頻文件的格式
4.6視頻數(shù)字化
4.7本章小結(jié)
4.8習題
第5章計算在軟件方面的實踐
5.1計算機軟件系統(tǒng)
5.2系統(tǒng)軟件
5.2.1操作系統(tǒng)
5.2.2Windows操作系統(tǒng)簡介
5.2.3語言處理程序
5.2.4服務(wù)程序
5.2.5數(shù)據(jù)庫管理系統(tǒng)
5.3應用軟件
5.3.1Word 2010簡介
5.3.2Excel 2010簡介
5.3.3PowerPoint 2010簡介
5.4本章小結(jié)
5.5習題
第6章軟件構(gòu)造
6.1程序設(shè)計語言發(fā)展歷史
6.1.1機器語言
6.1.2匯編語言
6.1.3高級程序設(shè)計語言
6.2程序設(shè)計方法學
6.2.1結(jié)構(gòu)化程序設(shè)計方法
6.2.2面向?qū)ο蟪绦蛟O(shè)計方法
6.3軟件的構(gòu)造
6.3.1迭代和遞歸
6.3.2軟件構(gòu)造
6.4本章小結(jié)
6.5習題
第7章軟件工程簡介
7.1軟件工程發(fā)展歷史
7.1.1軟件工程的發(fā)展歷史
7.1.2軟件工程的定義
7.2軟件生存周期
7.3常用軟件開發(fā)模型簡介
7.3.1瀑布模型
7.3.2噴泉模型
7.3.3快速原型
7.3.4增量模型
7.3.5螺旋模型
7.3.6基于構(gòu)件的開發(fā)模型
7.3.7敏捷開發(fā)模型
7.3.8智能模型
7.3.9總結(jié)
7.4本章小結(jié)
7.5習題
第8章智能軟件新技術(shù)
8.1人工智能
8.1.1人工智能的產(chǎn)生與發(fā)展
8.1.2人工智能主要學派
8.1.3人工智能的應用領(lǐng)域
8.1.4機器學習簡介
8.1.5神經(jīng)網(wǎng)絡(luò)與深度機器學習
8.2智能軟件新技術(shù)
8.2.1軟件自動化
8.2.2基于深度學習的程序合成
8.3本章小結(jié)
8.4習題
參考文獻