 書(shū)單推薦 新書(shū)推薦 |
面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯 
定 價(jià)：99 元
當(dāng)前圖書(shū)已被 2 所學(xué)校薦購(gòu)過(guò)！
查看明細(xì)
9 7 7 8 7 7 0 1 6 1 8 1 8
本書(shū)對(duì)計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過(guò)模型檢測(cè)進(jìn)行驗(yàn)證、程序驗(yàn)證、模態(tài)邏輯與代理、二叉判定圖這些內(nèi)容。本書(shū)主要討論有關(guān)軟硬件規(guī)范和驗(yàn)證這一主題的內(nèi)容，反映了計(jì)算機(jī)科學(xué)中數(shù)理邏輯的新發(fā)展和實(shí)際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語(yǔ)言和NuSMV工具等內(nèi)容。
你還可能感興趣
我要評(píng)論
|
