123,123,123

內(nèi)容簡(jiǎn)介

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