具體描述
邏輯公式的可滿足性問題是計算機科學和人工智能中的著名問題．本書前三章主要介紹經典的命題邏輯和一階謂詞邏輯公式以及模態邏輯公式的可滿足性判定算法，也介紹瞭有關的軟件工具．第四章則介紹它們在離散數學研究、軟件和硬件的形式驗證與測試等方麵的應用．
本書可供從事計算機科學和人工智能研究的有關人員閱讀，也可供高等院校計算機專業的本科生和研究生參考．
著者簡介
圖書目錄
序
前言
引言
第一章命題邏輯
§1.1命題邏輯簡介
§1.2可滿足性問題
§1.2.1閤取範式的可滿足性問題
§1.2.2約束滿足問題
§1.3Davis??Putnam算法
§1.3.1DP算法
§1.3.2分支策略
§1.3.3其他提高效率的手段
§1.4局部搜索法
§1.5有序二叉判定圖
§1.6語義錶和Stalmarck方法
§1.6.1語義錶
§1.6.
· · · · · · (收起)
前言
引言
第一章命題邏輯
§1.1命題邏輯簡介
§1.2可滿足性問題
§1.2.1閤取範式的可滿足性問題
§1.2.2約束滿足問題
§1.3Davis??Putnam算法
§1.3.1DP算法
§1.3.2分支策略
§1.3.3其他提高效率的手段
§1.4局部搜索法
§1.5有序二叉判定圖
§1.6語義錶和Stalmarck方法
§1.6.1語義錶
§1.6.
· · · · · · (收起)
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
作為本科生課外讀物，這本書簡潔有趣。
评分最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；
评分作為本科生課外讀物，這本書簡潔有趣。
评分作為本科生課外讀物，這本書簡潔有趣。
评分作為本科生課外讀物，這本書簡潔有趣。
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有