計算的理論與實踐

第1章緒論
1.1計算概念的形成
1.1.1遞歸函數(shù)
1.1.2λ演算
1.1.3圖靈機(jī)
1.2計算的發(fā)展
1.2.1字符編碼
1.2.2形式語言及自然語言處理
1.2.3數(shù)字圖像處理與計算機(jī)視覺
1.2.4語音信號處理
1.3計算的本質(zhì)
1.4本章小結(jié)
1.5習(xí)題
第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增強(qiáng)λ演算
2.4.5LISP語言簡介
2.4.6其他高級語言中的λ表達(dá)式
2.5波斯特系統(tǒng)及其應(yīng)用
2.5.1波斯特系統(tǒng)簡介
2.5.2基于產(chǎn)生式的專家系統(tǒng)
2.5.3產(chǎn)生式在形式語言中的應(yīng)用
2.5.4Prolog語言簡介
2.6圖靈機(jī)
2.7本章小結(jié)
2.8習(xí)題
第3章計算在硬件方面的實踐
3.1馮?諾依曼的計算模型
3.2工作原理
3.3數(shù)字電子計算機(jī)系統(tǒng)的基本組成
3.4計算機(jī)的發(fā)展歷程
3.5計算機(jī)硬件系統(tǒng)
3.6本章小結(jié)
3.7習(xí)題
第4章計算機(jī)中的信息表示
4.1數(shù)制及其相互轉(zhuǎn)換
4.1.1數(shù)據(jù)的表示單位
4.1.2常用進(jìn)制及其相互轉(zhuǎn)換
4.2數(shù)字和英文字符的表示方法
4.2.1計算機(jī)中數(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習(xí)題
第5章計算在軟件方面的實踐
5.1計算機(jī)軟件系統(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應(yīng)用軟件
5.3.1Word 2010簡介
5.3.2Excel 2010簡介
5.3.3PowerPoint 2010簡介
5.4本章小結(jié)
5.5習(xí)題
第6章軟件構(gòu)造
6.1程序設(shè)計語言發(fā)展歷史
6.1.1機(jī)器語言
6.1.2匯編語言
6.1.3高級程序設(shè)計語言
6.2程序設(shè)計方法學(xué)
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習(xí)題
第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習(xí)題
第8章智能軟件新技術(shù)
8.1人工智能
8.1.1人工智能的產(chǎn)生與發(fā)展
8.1.2人工智能主要學(xué)派
8.1.3人工智能的應(yīng)用領(lǐng)域
8.1.4機(jī)器學(xué)習(xí)簡介
8.1.5神經(jīng)網(wǎng)絡(luò)與深度機(jī)器學(xué)習(xí)
8.2智能軟件新技術(shù)
8.2.1軟件自動化
8.2.2基于深度學(xué)習(xí)的程序合成
8.3本章小結(jié)
8.4習(xí)題
參考文獻(xiàn)