同類熱銷排行榜

計算理論導引(原書第3版)/電腦科學叢書

作者：(美)邁克爾·西普塞|譯者:段磊//唐常傑
出版社：機械工業
ISBN：9787111499718

出版日期：2015/08/01
裝幀：平裝
頁數：296

人民幣：RMB 69 元售價：元

內容大鋼

邁克爾·西普塞編寫的《計算理論導引(原書第3版)》是計算理論領域的經典著作，以注重思路、深入引導為特色，系統地介紹計算理論的三大主要內容：自動機與語言、可計算性理論和計算複雜性理論。同時，重點講解了可計算性和計算複雜性理論中的某些高級內容。全書通過啟發性的問題、精彩的結果和待解決問題來引導讀者挑戰此領域中的高層次問題。新版的一大亮點是用一節的篇幅對確定型上下文無關語言進行了直觀而不失嚴謹的介紹。
本書敘述由淺入深、詳略得當，重點突出，不拘泥於技術細節，可作為高等院校電腦專業高年級本科生和研究生的教材，也可作為相關專業教師和研究人員的參考書。

作者介紹

(美)邁克爾·西普塞|譯者:段磊//唐常傑

出版者的話
譯者序
第3版前言
第2版前言
第1版前言
第0章緒論
  0.1 自動機、可計算性與複雜性
    0.1.1 計算複雜性理論
    0.1.2 可計算性理論
    0.1.3 自動機理論
  0.2 數學概念和術語
    0.2.1 集合
    0.2.2 序列和多元組
    0.2.3 函數和關係
    0.2.4 圖
    0.2.5 字元串和語言
    0.2.6 布爾邏輯
    0.2.7 數學名辭彙總
  0.3 定義、定理和證明
  0.4 證明的類型
    0.4.1 構造性證明
    0.4.2 反證法
    0.4.3 歸納法
  練習
  問題
  習題選解
第一部分自動機與語言
第1章正則語言
  1.1 有窮自動機
    1.1.1 有窮自動機的形式化定義
    1.1.2 有窮自動機舉例
    1.1.3 計算的形式化定義
    1.1.4 設計有窮自動機
    1.1.5 正則運算
  1.2 非確定性
    1.2.1 非確定型有窮自動機的形式化定義
    1.2.2 NFA與DFA的等價性
    1.2.3 在正則運算下的封閉性
  1.3 正則表達式
    1.3.1 正則表達式的形式化定義
    1.3.2 與有窮自動機的等價性
  1.4 非正則語言
  練習
  問題
  習題選解
第2章上下文無關文法
  2.1 上下文無關文法概述
    2.1.1 上下文無關文法的形式化定義
    2.1.2 上下文無關文法舉例
    2.1.3 設計上下文無關文法

    2.1.4 歧義性
    2.1.5 喬姆斯基範式
  2.2 下推自動機
    2.2.1 下推自動機的形式化定義
    2.2.2 下推自動機舉例
    2.2.3 與上下文無關文法的等價性
  2.3 非上下文無關語言
  2.4 確定型上下文無關語言
    2.4.1 DCFL的性質
    2.4.2 確定型上下文無關文法
    2.4.3 DPDA和DCFG的關係
    2.4.4 語法分析和LR(k)文法
  練習
  問題
  習題選解

第二部分可計算性理論
第3章丘奇圖靈論題
  3.1 圖靈機
    3.1.1 圖靈機的形式化定義
    3.1.2 圖靈機的例子
  3.2 圖靈機的變形
    3.2.1 多帶圖靈機
    3.2.2 非確定型圖靈機
    3.2.3 枚舉器
    3.2.4 與其他模型的等價性
  3.3 演算法的定義
    3.3.1 希爾伯特問題
    3.3.2 描述圖靈機的術語
  練習
  問題
  習題選解
第4章可判定性
  4.1 可判定語言
    4.1.1 與正則語言相關的可判定性問題
    4.1.2 與上下文無關語言相關的可判定性問題
  4.2 不可判定性
    4.2.1 對角化方法
    4.2.2 不可判定語言
    4.2.3 一個圖靈不可識別語言
  練習
  問題
  習題選解
第5章可歸約性
  5.1 語言理論中的不可判定問題
  5.2 一個簡單的不可判定問題
  5.3 映射可歸約性
    5.3.1 可計算函數
    5.3.2 映射可歸約性的形式化定義
  練習

  問題
  習題選解
第6章可計算性理論的高級專題
  6.1 遞歸定理
    6.1.1 自引用
    6.1.2 遞歸定理的術語
    6.1.3 應用
  6.2 邏輯理論的可判定性
    6.2.1 一個可判定的理論
    6.2.2 一個不可判定的理論
  6.3 圖靈可歸約性
  6.4 信息的定義
    6.4.1 極小長度的描述
    6.4.2 定義的優化
    6.4.3 不可壓縮的串和隨機性
  練習
  問題
  習題選解

第三部分複雜性理論
第7章時間複雜性
  7.1 度量複雜性
    7.1.1 大O和小o記法
    7.1.2 分析演算法
    7.1.3 模型間的複雜性關係
  7.2 P類
    7.2.1 多項式時間
    7.2.2 P中的問題舉例
  7.3 NP類
    7.3.1 NP中的問題舉例
    7.3.2 P與NP問題
  7.4 NP完全性
    7.4.1 多項式時間可歸約性
    7.4.2 NP完全性的定義
    7.4.3 庫克列文定理
  7.5 幾個NP完全問題
    7.5.1 頂點覆蓋問題
    7.5.2 哈密頓路徑問題
    7.5.3 子集和問題
  練習
  問題
  習題選解
第8章空間複雜性
  8.1 薩維奇定理
  8.2 PSPACE類
  8.3 PSPACE完全性
    8.3.1 TQBF問題
    8.3.2 博弈的必勝策略
    8.3.3 廣義地理學
  8.4 L類和NL類

  8.5 NL完全性
  8.6 NL等於coNL
  練習
  問題
  習題選解
第9章難解性
  9.1 層次定理
  9.2 相對化
  9.3 電路複雜性
  練習
  問題
  習題選解
第10章複雜性理論高級專題
  10.1 近似演算法
    10.2 概率演算法
    10.2.1 BPP類
    10.2.2 素數性
    10.2.3 只讀一次的分支程序
  10.3 交錯式
    10.3.1 交錯式時間與交錯式空間
    10.3.2 多項式時間層次
  10.4 互動式證明系統
    10.4.1 圖的非同構
    10.4.2 模型的定義
    10.4.3 IP=PSPACE
  10.5 並行計算
    10.5.1 一致布爾電路
    10.5.2 NC類
    10.5.3 P完全性
  10.6 密碼學
    10.6.1 密鑰
    10.6.2 公鑰密碼系統
    10.6.3 單向函數
    10.6.4 天窗函數
  練習
  問題
  習題選解
參考文獻
索引

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

計算理論導引(原書第3版)/電腦科學叢書