本書是學習理論計算機科學基礎的教材和參考書,內容包括三部分:可計算性、形式語言與自動機、計算復雜性。主要介紹幾種計算模型及它們的等價性,函數、謂詞和語言的可計算性等基本概念,形式語言及其對應的自動機模型,時間和空間復雜性,NP完全性等。
本書可作為計算機專業本科生和研究生的教材,也可作為從事計算機科學技術的研究和開發人員的參考書,還可作為對理論計算機科學感興趣的讀者的入門教材。
發表於2024-12-25
可計算性與計算復雜性導引 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算理論 計算機 可計算性與計算復雜性導引
可計算性與計算復雜性導引 2024 pdf epub mobi 電子書 下載