掃一掃
關(guān)注中圖網(wǎng)
官方微博
包郵 計(jì)算理論導(dǎo)引-原書第3版
開本：
16開
頁數(shù)：
296
本類五星書更多>
-
>
全國計(jì)算機(jī)等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應(yīng)用
-
>
決戰(zhàn)行測5000題(言語理解與表達(dá))
-
>
軟件性能測試.分析與調(diào)優(yōu)實(shí)踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強(qiáng)教科書(完全版)(全彩印刷)
-
>
深度學(xué)習(xí)
計(jì)算理論導(dǎo)引-原書第3版 版權(quán)信息
- ISBN：9787111499718
- 條形碼：9787111499718 ; 978-7-111-49971-8
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
計(jì)算理論導(dǎo)引-原書第3版 本書特色
本書由計(jì)算理論領(lǐng)域的知名權(quán)威michaelsipser所撰寫。他以獨(dú)特的視角，系統(tǒng)地介紹了計(jì)算理論的三個(gè)主要內(nèi)容：自動機(jī)與語言、可計(jì)算性理論和計(jì)算復(fù)雜性理論。作者以清新的筆觸、生動的語言給出了寬泛的數(shù)學(xué)原理，而沒有拘泥于某些低層次的細(xì)節(jié)。在證明之前，均有“證明思路”，幫助讀者理解數(shù)學(xué)形式下蘊(yùn)涵的概念。本書可作為計(jì)算機(jī)專業(yè)高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。
計(jì)算理論導(dǎo)引-原書第3版 內(nèi)容簡介
本書由計(jì)算理論領(lǐng)域的知名權(quán)威MichaelSipser所撰寫。他以獨(dú)特的視角，系統(tǒng)地介紹了計(jì)算理論的三個(gè)主要內(nèi)容：自動機(jī)與語言、可計(jì)算性理論和計(jì)算復(fù)雜性理論。作者以清新的筆觸、生動的語言給出了寬泛的數(shù)學(xué)原理，而沒有拘泥于某些低層次的細(xì)節(jié)。在證明之前，均有“證明思路”，幫助讀者理解數(shù)學(xué)形式下蘊(yùn)涵的概念。本書可作為計(jì)算機(jī)專業(yè)高年級本科生和研究生的教材，也可作為教師和研究人員的參考書。
計(jì)算理論導(dǎo)引-原書第3版 目錄
introduction to the theory of computation,3e
出版者的話
譯者序
第3版前言
第2版前言
第1版前言
第0章緒論
0 1自動機(jī)、可計(jì)算性與復(fù)雜性
0 1 1計(jì)算復(fù)雜性理論
0 1 2可計(jì)算性理論
0 1 3自動機(jī)理論
0 2數(shù)學(xué)概念和術(shù)語
0 2 1集合
0 2 2序列和多元組
0 2 3函數(shù)和關(guān)系
0 2 4圖
0 2 5字符串和語言
0 2 6布爾邏輯
0 2 7數(shù)學(xué)名詞匯總
0 3定義、定理和證明
0 4證明的類型
0 4 1構(gòu)造性證明
0 4 2反證法
0 4 3歸納法
練習(xí)
問題
習(xí)題選解
**部分自動機(jī)與語言
第1章正則語言
1 1有窮自動機(jī)
1 1 1有窮自動機(jī)的形式化定義
1 1 2有窮自動機(jī)舉例
1 1 3計(jì)算的形式化定義
1 1 4設(shè)計(jì)有窮自動機(jī)
1 1 5正則運(yùn)算
1 2非確定性
1 2 1非確定型有窮自動機(jī)的形式化定義
1 2 2nfa與dfa的等價(jià)性
1 2 3在正則運(yùn)算下的封閉性
1 3正則表達(dá)式
1 3 1正則表達(dá)式的形式化定義
1 3 2與有窮自動機(jī)的等價(jià)性
1 4非正則語言
練習(xí)
問題
習(xí)題選解
第2章上下文無關(guān)文法
2 1上下文無關(guān)文法概述
2 1 1上下文無關(guān)文法的形式化定義
2 1 2上下文無關(guān)文法舉例
2 1 3設(shè)計(jì)上下文無關(guān)文法
2 1 4歧義性
2 1 5喬姆斯基范式
2 2下推自動機(jī)
2 2 1下推自動機(jī)的形式化定義
2 2 2下推自動機(jī)舉例
2 2 3與上下文無關(guān)文法的等價(jià)性
2 3非上下文無關(guān)語言
2 4確定型上下文無關(guān)語言
2 4 1dcfl的性質(zhì)
2 4 2確定型上下文無關(guān)文法
2 4 3dpda和dcfg的關(guān)系
2 4 4語法分析和lr(k)文法
練習(xí)
問題
習(xí)題選解
第二部分可計(jì)算性理論
第3章丘奇圖靈論題
3 1圖靈機(jī)
3 1 1圖靈機(jī)的形式化定義
3 1 2圖靈機(jī)的例子
3 2圖靈機(jī)的變形
3 2 1多帶圖靈機(jī)
3 2 2非確定型圖靈機(jī)
3 2 3枚舉器
3 2 4與其他模型的等價(jià)性
3 3算法的定義
3 3 1希爾伯特問題
3 3 2描述圖靈機(jī)的術(shù)語
練習(xí)
問題
習(xí)題選解
第4章可判定性
4 1可判定語言
4 1 1與正則語言相關(guān)的可判定性問題
4 1 2與上下文無關(guān)語言相關(guān)的可判定性問題
4 2不可判定性
4 2 1對角化方法
4 2 2不可判定語言
4 2 3一個(gè)圖靈不可識別語言
練習(xí)
問題
習(xí)題選解
第5章可歸約性
5 1語言理論中的不可判定問題
5 2一個(gè)簡單的不可判定問題
5 3映射可歸約性
5 3 1可計(jì)算函數(shù)
5 3 2映射可歸約性的形式化定義
練習(xí)
問題
習(xí)題選解
第6章可計(jì)算性理論的高級專題
6 1遞歸定理
6 1 1自引用
6 1 2遞歸定理的術(shù)語
6 1 3應(yīng)用
6 2邏輯理論的可判定性
6 2 1一個(gè)可判定的理論
6 2 2一個(gè)不可判定的理論
6 3圖靈可歸約性
6 4信息的定義
6 4 1極小長度的描述
6 4 2定義的優(yōu)化
6 4 3不可壓縮的串和隨機(jī)性
練習(xí)
問題
習(xí)題選解
第三部分復(fù)雜性理論
第7章時(shí)間復(fù)雜性
7 1度量復(fù)雜性
7 1 1大o和小o記法
7 1 2分析算法
7 1 3模型間的復(fù)雜性關(guān)系
7 2p類
7 2 1多項(xiàng)式時(shí)間
7 2 2p中的問題舉例
7 3np類
7 3 1np中的問題舉例
7 3 2p與np問題
7 4np完全性
7 4 1多項(xiàng)式時(shí)間可歸約性
7 4 2np完全性的定義
7 4 3庫克列文定理
7 5幾個(gè)np完全問題
7 5 1頂點(diǎn)覆蓋問題
7 5 2哈密頓路徑問題
7 5 3子集和問題
練習(xí)
問題
習(xí)題選解
第8章空間復(fù)雜性
8 1薩維奇定理
8 2pspace類
8 3pspace完全性
8 3 1tqbf問題
8 3 2博弈的必勝策略
8 3 3廣義地理學(xué)
8 4l類和nl類
8 5nl完全性
8 6nl等于conl
練習(xí)
問題
習(xí)題選解
第9章難解性
9 1層次定理
9 2相對化
9 3電路復(fù)雜性
練習(xí)
問題
習(xí)題選解
第10章復(fù)雜性理論高級專題
10 1近似算法
10 2概率算法
10 2 1bpp類
10 2 2素?cái)?shù)性
10 2 3只讀一次的分支程序
10 3交錯(cuò)式
10 3 1交錯(cuò)式時(shí)間與交錯(cuò)式空間
10 3 2多項(xiàng)式時(shí)間層次
10 4交互式證明系統(tǒng)
10 4 1圖的非同構(gòu)
10 4 2模型的定義
10 4 3ip=pspace
10 5并行計(jì)算
10 5 1一致布爾電路
10 5 2nc類
10 5 3p完全性
10 6密碼學(xué)
10 6 1密鑰
10 6 2公鑰密碼系統(tǒng)
10 6 3單向函數(shù)
10 6 4天窗函數(shù)
練習(xí)
問題
習(xí)題選解
參考文獻(xiàn)
索引
展開全部
書友推薦
- >
中國歷史的瞬間
- >
上帝之肋:男人的真實(shí)旅程
- >
二體千字文
- >
羅庸西南聯(lián)大授課錄
- >
姑媽的寶刀
- >
經(jīng)典常談
- >
回憶愛瑪儂
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
本類暢銷
