計算理論基礎(chǔ)（第2版）

定　價：￥29.00

作　者：	（美）[H.R.劉易斯]Harry R.Lewis，（美）[C.H.帕帕季米特里烏]Christos H.Papadimitriou著；張立昂，劉田譯；張立昂譯
出版社：	清華大學(xué)出版社
叢編項：	世界著名計算機教材精選
標　簽：	算法

購買這本書可以去

當當網(wǎng) (￥24.70)

ISBN：	9787302039488	出版時間：	2002-07-01	包裝：
開本：	26cm	頁數(shù)：	256	字數(shù)：

內(nèi)容簡介

　　計算理論是計算機科學(xué)的理論基礎(chǔ)。本書介紹了計算理論最核心、最基本的內(nèi)容，包括形式語言與自動機、可計算性和計算復(fù)雜性三大部分。全書共分七章，分別為：集合、關(guān)系和語言；有窮自動機；上下文無關(guān)語言；Turing機；不可判定性；計算復(fù)雜性；NP完全性。本書突出了算法，從而使計算機專業(yè)的學(xué)生更易接受，也更有收益。本書適合作為計算機專業(yè)及數(shù)學(xué)專業(yè)本科生或研究生的教材，也可供從事計算機科學(xué)的教學(xué)與研究人員參考。

作者簡介

暫缺《計算理論基礎(chǔ)（第2版）》作者簡介

圖書目錄

譯者序
第一版序言
第二版序言
導(dǎo)言
第1章  集合. 關(guān)系和語言
1. 1  集合
1. 2  關(guān)系與函數(shù)
1. 3  特殊類型的二元關(guān)系
1. 4  有窮集合與無窮集合
1. 5  三個基本的證明技術(shù)
1. 6  閉包與算法
1. 7  字母表與語言
1. 8  語言的有窮表示
參考文獻
第2章有窮自動機
2. 1  確定型有窮自動機
2. 2  非確定型有窮自動機
2. 3  有窮自動機與正則表達式
2. 4  正則語言與非正則語言
2. 5  狀態(tài)最小化
2. 6  關(guān)于有窮自動機的算法
參考文獻
第3章  上下文無關(guān)語言
3. 1  上下文無關(guān)文法
3. 2  語法分析樹
3. 3  下推自動機
3. 4  下推自動機與上下文無關(guān)文法
3. 5  上下文無關(guān)語言與非上下文無關(guān)語言
3. 6  關(guān)于上下文無關(guān)文法的算法
3. 7  確定性與語法分析
參考文獻
第4章  Turing機
4. 1  Turing機的定義
4. 2  用Turing機計算
4. 3  Turing機的擴充
4. 4  隨機存取Turing機
4. 5  非確定型Turing機
4. 6  文法
4. 7  數(shù)值函數(shù)
參考文獻
第5章  不可判定性
5. 1  Church-Turing論題
5. 2  通用Turing機
5. 3  停機問題
5. 4  與Turing機有關(guān)的不可判定問題
5. 5  與文法有關(guān)的不可解問題
5. 6  不可解的鋪磚問題
5. 7  遞歸語言的性質(zhì)
參考文獻
第6章  計算復(fù)雜性
6. 1  P類
6. 2  若干問題
6. 3  布爾可滿足性
6. 4  NP類
參考文獻
第7章  NP完全性
7. 1  多項式時間歸約
7. 2  Cook定理
7. 3  其他的NP完全問題
7. 4  對付NP完全性
參考文獻
中英對照名詞索引