計算理論

定　價：￥69.00

作　者：	成科揚, 周從華, 李茂貞, 編著
出版社：	江蘇大學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

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

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

內(nèi)容簡介

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