計(jì)算的理論與實(shí)踐

第1章緒論
1.1計(jì)算概念的形成
1.1.1遞歸函數(shù)
1.1.2λ演算
1.1.3圖靈機(jī)
1.2計(jì)算的發(fā)展
1.2.1字符編碼
1.2.2形式語言及自然語言處理
1.2.3數(shù)字圖像處理與計(jì)算機(jī)視覺
1.2.4語音信號(hào)處理
1.3計(jì)算的本質(zhì)
1.4本章小結(jié)
1.5習(xí)題
第2章計(jì)算的理論
2.1可計(jì)算的含義
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其他高級(jí)語言中的λ表達(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章計(jì)算在硬件方面的實(shí)踐
3.1馮?諾依曼的計(jì)算模型
3.2工作原理
3.3數(shù)字電子計(jì)算機(jī)系統(tǒng)的基本組成
3.4計(jì)算機(jī)的發(fā)展歷程
3.5計(jì)算機(jī)硬件系統(tǒng)
3.6本章小結(jié)
3.7習(xí)題
第4章計(jì)算機(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ì)算機(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章計(jì)算在軟件方面的實(shí)踐
5.1計(jì)算機(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è)計(jì)語言發(fā)展歷史
6.1.1機(jī)器語言
6.1.2匯編語言
6.1.3高級(jí)程序設(shè)計(jì)語言
6.2程序設(shè)計(jì)方法學(xué)
6.2.1結(jié)構(gòu)化程序設(shè)計(jì)方法
6.2.2面向?qū)ο蟪绦蛟O(shè)計(jì)方法
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軟件自動(dòng)化
8.2.2基于深度學(xué)習(xí)的程序合成
8.3本章小結(jié)
8.4習(xí)題
參考文獻(xiàn)