計算理論

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

暫缺《計算理論》作者簡介