全書分為計算理論基礎知識、算法設計與分析、系統(tǒng)建模與推理三部分。其中，計算理論基礎知識包含了四個模塊，分別是預備知識、自動機與語言、可計算性理論和計算復雜性理論，該部分又針對每一個知識模塊細分了章節(jié)，由淺入深。在算法設計與分析部分，劃分了五個章節(jié)，分別是分治策略、動態(tài)規(guī)劃、貪心算法、下界和回溯法。在系統(tǒng)建模與推理中，重點劃分出基于模型的驗證一章，主要介紹基于有窮狀態(tài)機的系統(tǒng)屬性驗證方法。本書可作為1～2個學期的計算理論導論課程教材，適用于數(shù)學、計算機科學、信息安全、物聯(lián)網工程等各個專業(yè)的本科生、研究生（含留學生）學習。
鄂公網安備 42010302001612號 