 書單推薦 新書推薦 |
面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯 
定 價：99 元 叢書名：計(jì)算機(jī)科學(xué)叢書
當(dāng)前圖書已被 5 所學(xué)校薦購過！
查看明細(xì)
9 7 7 8 7 7 0 1 6 1 8 1 8 讀者對象:本書適合作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)的數(shù)理邏輯/形式化方法課程的教材，也可供相關(guān)研究人員和專業(yè)人士參考
本書對計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進(jìn)行驗(yàn)證、程序驗(yàn)證、模態(tài)邏輯與代理、二叉判定圖這些內(nèi)容。本書主要討論有關(guān)軟硬件規(guī)范和驗(yàn)證這一主題的內(nèi)容，反映了計(jì)算機(jī)科學(xué)中數(shù)理邏輯的新發(fā)展和實(shí)際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和NuSMV工具等內(nèi)容。
你還可能感興趣
我要評論
|
