簡介
本書由計算機理論領(lǐng)域的知名權(quán)威Michaael Sipser所撰寫。他以獨特的視角,系統(tǒng)地介紹了計算機理論的三個主要內(nèi)容:自動機與語言、可計算性理論和計算復(fù)雜性理論。約大部分內(nèi)容是基本的,同時對可計算性和計算復(fù)雜性理論中的某些高級內(nèi)容進行了重點介紹。作者以清新的筆觸、生動的語言給出了寬泛的數(shù)學(xué)原理,而沒有拘泥于某些低層次的細節(jié)。在證明之前,均有“證明思路”,幫助讀者理解數(shù)學(xué)形式下涵的概念。同樣,對... 更多
屬性
出版社
機械工業(yè)出版社
ISBN
9787111173274
出版年
2006-1
裝幀
簡裝本
價格
49.00元
頁數(shù)
437
評價
0.0(滿分 10 分)0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%

