中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
計算理論導引-(第2版) 版權信息
- ISBN：7111190289
- 條形碼：9787111190288 ; 978-7-111-19028-8
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
計算理論導引-(第2版) 內容簡介
本書是計算理論領域的經典著作，被國外多所大學選用用為教材。本書以注重思路、深入引導為特色，系統地介紹計算機理論的三大主要內容：自動機與語言、可計算性理論和計算復雜性理論。同時，對可計算性和計算復雜理論中的某些高級內容作了重點講解。全書通過啟發性的問題、精彩的結果和待解決問題來引導讀者挑戰此領域中的高層次問題。新版的一大亮點是增加了更多習題、教輔資料和部分習題解答，更加有利于教學。
全書敘述由淺入深、詳略得當，重點突出，不拘泥于技術細節。可作為計算機專業高年級本科生和研究生的教材，也可作為相關專業教師和研究人員的參考書。
計算理論導引-(第2版) 目錄
出版者的話
專家指導委員會
譯者序
譯者簡介
第1版前言
第2版前言
第0章緒論
0.1自動機、可計算性與復雜性
0.2數學概念和術語
0.3定義、定理和證明
0.4證明的類型
練習
問題
習題選解
**部分自動機與語言
第1章正則語言
1.1有窮自動機
1.2非確定性
1.3正則表達式
1.4非正則語言
練習
問題
習題選解
第2章上下文無關文法
2.1上下文無關文法概述
2.2下推自動機
2.3非上下文無關語言
練習
問題
習題選解
第二部分可計算性理論
第3章丘奇-圖靈論題
3.1圖靈機
3.2圖靈機的變形
3.3算法的定義
練習
問題
習題選解
第4章可判定性
4.1可判定性
4.2停機問題
練習
問題
習題選解
第5章可歸約性
5.1語言理論中的不可判定問題
5.2一個簡單的不可判定問題
5.3映射可歸約性
練習
問題
習題選解
第6章可計算性理論的高級專題
6.1遞歸定理
6.2邏輯理論的可判定性
6.3圖靈可歸約性
……
專家指導委員會
譯者序
譯者簡介
第1版前言
第2版前言
第0章緒論
0.1自動機、可計算性與復雜性
0.2數學概念和術語
0.3定義、定理和證明
0.4證明的類型
練習
問題
習題選解
**部分自動機與語言
第1章正則語言
1.1有窮自動機
1.2非確定性
1.3正則表達式
1.4非正則語言
練習
問題
習題選解
第2章上下文無關文法
2.1上下文無關文法概述
2.2下推自動機
2.3非上下文無關語言
練習
問題
習題選解
第二部分可計算性理論
第3章丘奇-圖靈論題
3.1圖靈機
3.2圖靈機的變形
3.3算法的定義
練習
問題
習題選解
第4章可判定性
4.1可判定性
4.2停機問題
練習
問題
習題選解
第5章可歸約性
5.1語言理論中的不可判定問題
5.2一個簡單的不可判定問題
5.3映射可歸約性
練習
問題
習題選解
第6章可計算性理論的高級專題
6.1遞歸定理
6.2邏輯理論的可判定性
6.3圖靈可歸約性
……
展開全部
書友推薦
- >
我從未如此眷戀人間
- >
山海經
- >
名家帶你讀魯迅:朝花夕拾
- >
經典常談
- >
月亮與六便士
- >
有舍有得是人生
- >
羅庸西南聯大授課錄
- >
李白與唐代文化
本類暢銷
