邏輯公式的可滿足性判定--方法 工具及應(yīng)用

內(nèi)容概要

邏輯公式的可滿足性問(wèn)題是計(jì)算機(jī)科學(xué)和人工智能中的著名問(wèn)題．本書前三章主要介紹經(jīng)典的命題邏輯和一階謂詞邏輯公式以及模態(tài)邏輯公式的可滿足性判定算法，也介紹了有關(guān)的軟件工具．第四章則介紹它們?cè)陔x散數(shù)學(xué)研究、軟件和硬件的形式驗(yàn)證與測(cè)試等方面的應(yīng)用．
本書可供從事計(jì)算機(jī)科學(xué)和人工智能研究的有關(guān)人員閱讀，也可供高等院校計(jì)算機(jī)專業(yè)的本科生和研究生參考．

書籍目錄

序
前言
引言
第一章命題邏輯
§1.1命題邏輯簡(jiǎn)介
§1.2可滿足性問(wèn)題
§1.2.1合取范式的可滿足性問(wèn)題
§1.2.2約束滿足問(wèn)題
§1.3Davis??Putnam算法
§1.3.1DP算法
§1.3.2分支策略
§1.3.3其他提高效率的手段
§1.4局部搜索法
§1.5有序二叉判定圖
§1.6語(yǔ)義表和Stalmarck方法
§1.6.1語(yǔ)義表
§1.6.

圖書封面

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

---

    邏輯公式的可滿足性判定--方法 工具及應(yīng)用 PDF格式下載

---