注冊 | 登錄讀書好,好讀書,讀好書!
讀書網-DuShu.com
當前位置: 首頁出版圖書科學技術計算機/網絡計算機科學理論與基礎知識可計算性、復雜性、語言:理論計算機科學基礎

可計算性、復雜性、語言:理論計算機科學基礎

可計算性、復雜性、語言:理論計算機科學基礎

定 價:¥3.95

作 者: (美)M.D.戴維斯(Martin D.Davis),(美)E.J.威尤克(Elaine J.Weyuker)著;張立昂等譯
出版社: 清華大學出版社
叢編項:
標 簽: 計算復雜性

ISBN: 9787302004264 出版時間: 1989-11-01 包裝:
開本: 26cm 頁數: 307頁 字數:  

內容簡介

  本書全面、系統(tǒng)地闡述了理論計算機科學的主要分支,包括可計算性理論、文法和自動機理論、命題演算和量詞理論、計算復雜性和不可解性等 。

作者簡介

暫缺《可計算性、復雜性、語言:理論計算機科學基礎》作者簡介

圖書目錄

暫缺《可計算性、復雜性、語言:理論計算機科學基礎》目錄

本目錄推薦

掃描二維碼
Copyright ? 讀書網 www.afriseller.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網安備 42010302001612號