《計算複雜性理論導引》是2021年西安電子科技大學出版社出版的圖書。
《計算複雜性理論導引》是2021年西安電子科技大學出版社出版的圖書。本書介紹了計算複雜性理論的一些基礎知識，如計算模型Turing 機、複雜性的度量與本質關係、P等不等於NP問題、空間複雜性等，還選擇了一些適合密碼學及信...
全書理論體系相對完整，採用了儘可能多的實際操作案例來解釋和闡述相應的具體套用。圖書目錄 第一章 程式設計語言 和可計算函式 1.1 預備知識 1.2 church-turing論題 1.3 程式設計語言 1.4 可計算函式 1.5 宏指令 習題 第二章 ...
《計算理論導引（原書第3版）》是2019年11月機械工業出版社出版的圖書，作者是[美]麥可·西普塞(Michael、Sipser)。內容簡介 本書由計算理論領域的知名權威MichaelSipser所撰寫。他以獨特的視角，系統地介紹了計算理論的三個主要內容：...
《計算理論導引（第2版）》是2006年機械工業出版社出版的圖書，作者是（美）西普塞。本書是計算理論領域的經典著作，講述了自動機與語言、可計算性理論和計算複雜性理論。圖書信息 作 者：（美）西普塞 著，唐常傑 等譯 出 版 社：...
《計算理論導引》是2000年機械工業出版社出版的圖書，作者是西普塞。內容簡介 絕大部分內容是基本的，同時對可計算性和計算複雜性理論中的某些高級內容作了重點介紹。本書可作為計算機專業高年級本科生和研究生的教材，也可作為教師和研究...
《計算理論導引（英文版·第3版）》是2018年7月機械工業出版社出版的圖書，作者是[美]麥可·西普塞（Michael Sipser）。內容簡介 本書由計算理論領域的知名學者MichaelSipser所撰寫。他以獨特的視角，系統地介紹了計算理論的三大主要內容...
《自動機理論、語言和計算導引》是1986年科學出版社出版的圖書，作者是(美)霍普克羅夫特(Hopcroft， J.E.)、(美)厄爾曼(Ullman， J.D.)。內容簡介 本書是討論自動機理論、語言理論和計算理論（主要是計算複雜性理論）的專著。全書...
書中內容分3部分：第1部分是基本算法，按方法論區分，包含優先策略與分治策略、動態規劃、機率算法、並行算法、搜尋法、數據結構等；第2部分是若干專題，包括排序算法、計算幾何及計算數論、線性規劃；第3部分是複雜性理論與智慧型型算法，...
《判定樹理論導引》是1998年湖南教育出版社出版的圖書，作者是堵丁柱。內容提要 本書介紹計算複雜性理論的一個重要部分---判定權理論。全部內容圍繞該理論中的一個重要且未解決的問題---Karp猜想。全書分九講。前四講介紹判定權的一般...
《計算機和難解性 : NP完全性理論導引》是1987年1月科學出版社出版的圖書，作者是(美)加里(Garey， M.R.)、(美)詹森(Johnson， D.S.)。內容簡介 本書系統地介紹了NP完全性理論的概念和方法．全書共分七章和兩個附錄．第一...
《計算理論導論》是2002年機械工業出版社出版的圖書，作者是塞普斯。內容介紹 This book——by a noted authority and educator in the field——presents computer science theory from a uniquely intuitive,“big picture”perspective....
第4章 用於量子計算的計算機科學基礎 77 4.1 數據結構 78 4.1.1 列表 79 4.1.2 二叉樹 85 4.2 算法 85 4.2.1 排序算法 87 4.3 計算複雜性理論 90 4.3.1 圈複雜度 91 4.3.2 霍...
《自動機理論、語言和計算導論》是一本2022年機械工業出版社出版的圖書，作者是[美] 約翰·E.霍普克羅夫特。內容簡介 本書是關於形式語言、自動機理論和計算複雜性方面的經典之作。書中涵蓋了有窮自動機、正則表達式與語言、正則語言的...
計算機科學輪廓（Outlineofcomputerscience）提供計算機科學的縱覽和課題導引。計算機科學也稱計算科學，是研究計算機系統內的設備和所用信息及計算理論的基礎科學。簡介 1.數學基礎 1.1算數和數據結構 1.2人工智慧 1.3合作網路 1.4通信...
超越無組織複雜性 第三部分計算建模 第五章計算理論 理論與工具 計算與理論 反對計算作為理論 新方向 第六章為何使用基於主體的對象 靈活性與精確度 面向過程 內在動力學 異質性主體與不對稱性 可擴展性 可重複性與可恢復性 構造性 ...
本書通過大量示例，以一種直觀、易懂的方式闡釋了計算機科學理論的概念及相關數學知識。第3版還擴展介紹了自動機理論、計算理論和計算複雜性等內容。本書可作為計算機及相關專業的計算機科學理論課程的教材。目錄 出版者的話 專家指導委員...
《自動機理論、語言和計算導論》是2008年機械工業出版社出版的圖書，作者是霍普克羅夫特 （John E.Hopcroft）。內容簡介 本書是關於形式語言、自動機理論和計算複雜性方面的經典之作，是國際上得到廣泛認可的計算機理論和計算機工程專業的...
超越無組織複雜性 第三部分 計算建模 第五章 計算理論 理論與工具 計算與理論 反對計算作為理論 新方向 第六章 為何使用基於主體的對象 靈活性與精確度 面向過程 內在動力學 異質性主體與不對稱性 可擴展性 可重複性與可恢復性 構造...
《參數計算導論》由科學出版社出版。圖書目錄 《信息科學技術學術著作叢書》序 前言 第1章導引 第2章參數計算簡介 2.1NP完全理論 2.2固定參數可解 2.3固定參數不可解 2.4固定參數枚舉 2.5參數化方法 2.6本章小結 第3章核心化...
《計算思維——計算學科導論（雙色）》是2015年4月電子工業出版社出版的圖書，作者是唐培和,徐奕奕。內容簡介 本書共分7章，分別介紹計算與計算思維、充滿智慧與挑戰的計算理論（技術）基礎、計算思維之方法學、計算思維之算法基礎、面向...
致力於計算機軟體與理論的教學與科學研究，在遞歸論，計算複雜性理論，計算機算法與密碼，計算機邏輯等方面在國內外著名學術刊物發表論文數十篇，著有專著《可計算性理論導引》一部，主編《作業系統》《計算機科學》等著作多部，是貴州大學...
