計(jì)算理論

定　價(jià)：￥69.00

作　者：	成科揚(yáng), 周從華, 李茂貞, 編著
出版社：	江蘇大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥57.40)

ISBN：	9787568419550	出版時(shí)間：	2024-01-01	包裝：	平裝-膠訂
開本：	16開	頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　全書分為計(jì)算理論基礎(chǔ)知識、算法設(shè)計(jì)與分析、系統(tǒng)建模與推理三部分。其中，計(jì)算理論基礎(chǔ)知識包含了四個(gè)模塊，分別是預(yù)備知識、自動(dòng)機(jī)與語言、可計(jì)算性理論和計(jì)算復(fù)雜性理論，該部分又針對每一個(gè)知識模塊細(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í)。