面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯系統(tǒng)建模與推理

出版時(shí)間：2007-7 出版社：機(jī)械工業(yè) 作者：哈斯頁(yè)數(shù)：277
Tag標(biāo)簽：無(wú)

內(nèi)容概要

本書對(duì)計(jì)算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、模態(tài)邏輯與代理、二叉判定圖、模型檢測(cè)和程序驗(yàn)證等內(nèi)容。本書主要討論有關(guān)軟硬件規(guī)范和驗(yàn)證這一主題，反映了計(jì)算機(jī)科學(xué)中數(shù)理邏輯的新發(fā)展和實(shí)際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理等，并介紹了Alloy語(yǔ)言和NuSMV工具等內(nèi)容。    本書適宜作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)的數(shù)理邏輯/形式化方法課程的教材，也可供相關(guān)研究人員和專業(yè)人士參考。

書籍目錄

出版者的話專家指導(dǎo)委員會(huì)譯者序第1版序第2版前言第1章 命題邏輯  1.1 判斷語(yǔ)句  1.2 自然演繹  1.3 作為形式語(yǔ)言的命題邏輯  1.4 命題邏輯的語(yǔ)義  1.5 范式  1.6 SAT求解機(jī)  1.7 習(xí)題  1.8 文獻(xiàn)注釋第2章 謂詞邏輯  2.1 我們需要更豐富的語(yǔ)言  2.2 作為形式語(yǔ)言的謂詞邏輯  2.3 謂詞邏輯的證明論  2.4 謂詞邏輯的語(yǔ)義  2.5 謂詞邏輯的不可判定性  2.6 謂詞邏輯的表達(dá)能力  2.7 軟件的微觀模型  2.8 習(xí)題  2.9 文獻(xiàn)注釋第3章 通過(guò)模型檢測(cè)進(jìn)行驗(yàn)證  3.1 驗(yàn)證的動(dòng)機(jī)  3.2 線性時(shí)態(tài)邏輯  3.3 模型檢測(cè)：系統(tǒng)、工具和性質(zhì)  3.4 分支時(shí)間邏輯  ……第4章 程序驗(yàn)證第5章 模態(tài)邏輯與代理第6章 二叉判定圖參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

還沒(méi)讀過(guò)(39)
勉強(qiáng)可看(283)
一般般(483)
內(nèi)容豐富(2006)
強(qiáng)力推薦(164)

面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯系統(tǒng)建模與推理 PDF格式下載

用戶評(píng)論 (總計(jì)30條)

打好邏輯基礎(chǔ)的好書，對(duì)以后計(jì)算機(jī)方面的學(xué)習(xí)有幫助。
鍛煉你的邏輯思維能力，強(qiáng)烈推薦
又一次遇到形式化驗(yàn)證的書了，質(zhì)量很好！
還沒(méi)來(lái)得及看，不過(guò)貌似挺薄的一本書，同學(xué)們反映還不錯(cuò)。
我們上課沒(méi)用書，但是學(xué)校選的教材，應(yīng)該是好書
幫老公買的說(shuō)很實(shí)用工作需要
內(nèi)容全面通俗易懂
很好的書，印刷質(zhì)量也不錯(cuò)。但我在當(dāng)當(dāng)?shù)哪潜竞孟襁\(yùn)送過(guò)程中經(jīng)過(guò)了什么風(fēng)浪封面有點(diǎn)小破損。。。。
各個(gè)方面都很不錯(cuò) 加油
是一本很值得好好認(rèn)真讀的書，會(huì)有收獲的。
書的質(zhì)量感覺(jué)挺好的，紙張不錯(cuò)，印刷也不錯(cuò)，哈哈哈~給好評(píng)~
這是一本翻譯的很到位的書，很好，初學(xué)者的首選！
不錯(cuò)~推薦購(gòu)買，這個(gè)相當(dāng)不錯(cuò)~！好好科研啊~~~~
雖然翻譯有些生硬，但看懂不是很困難。
除了快遞晚了一天到之外其他都挺好的！
書籍全新，包裝不錯(cuò)，發(fā)票齊全，質(zhì)量上乘！物優(yōu)價(jià)廉，最重要的是很方便。
建議看原版的，翻譯得比較爛！
--------------------------------
本學(xué)學(xué)過(guò)離散數(shù)學(xué)，但是那本書與多數(shù)其他離散數(shù)學(xué)的書側(cè)重點(diǎn)不太一樣。這本書按照引言介紹的，也只相當(dāng)于我國(guó)離散數(shù)學(xué)的一般水平（內(nèi)容上），但是其中有較多的篇幅詳細(xì)介紹一些應(yīng)用方面，比如SAT求解器、程序驗(yàn)證等，還是很值得一看的。我做約束求解、程序驗(yàn)證的課堂報(bào)告就從中翻閱了不少東西出來(lái)
軟件工程的最終解決之道必然是形式化方法，這本書算得上不錯(cuò)的一本參考。另外我推薦下面幾本:零缺陷程序設(shè)計(jì)凈室軟件工程技術(shù)從規(guī)范處罰的程序設(shè)計(jì)B方法
計(jì)算機(jī)的基礎(chǔ)課，不錯(cuò)的書
很專業(yè)的專業(yè)書
看了看目錄，很合意，序言也說(shuō)了這是適合初學(xué)者的書，內(nèi)容也不錯(cuò)。
但是翻譯。。。。。。。額。。。。。。這個(gè)有點(diǎn)讓人失望啊，反正在第一章開(kāi)頭那點(diǎn)就出現(xiàn)了讀不通的地方，還沒(méi)怎么深入的看。
上課用的這本書，很不錯(cuò)，推薦一下
很詳盡，很系統(tǒng)，但是翻譯的太差。不會(huì)是譯者帶的研究生翻譯的？有很深的學(xué)生翻譯的印跡！
書很好，也很快！考完試就不用了，各位可以找我來(lái)買二手書！
幫先生訂的，他說(shuō)不錯(cuò)。
俄羅斯人的程序堪稱藝術(shù)，因?yàn)殡x散數(shù)學(xué)功夫很深。做為計(jì)算機(jī)學(xué)科的基礎(chǔ)數(shù)學(xué)理論之一，數(shù)理邏輯可以建立起從自然到計(jì)算機(jī)世界的一架橋梁。這是此書的作用。它不能讓你一周內(nèi)寫出任何語(yǔ)言的程序，但是它可以讓你的程序更符合計(jì)算機(jī)世界的邏輯。
原來(lái)大學(xué)里學(xué)的東西忘了好多，這部分講的很好，但是有一部分翻譯書的通病，按照翻譯人的思維走，總要費(fèi)一點(diǎn)點(diǎn)力氣去理解除了書籍之外的意思~總的來(lái)說(shuō)還是幫助理解數(shù)理邏輯系統(tǒng)的一本的很好的書~
選修課老師用的教材，買了老師才說(shuō)，我們不上這個(gè)東西，我們上Prolog,我汗--------------！

面向計(jì)算機(jī)科學(xué)的數(shù)理邏輯系統(tǒng)建模與推理

用戶評(píng)論 (總計(jì)30條)

推薦圖書

相關(guān)圖書