邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2025
簡體網頁||繁體網頁
張健
科學齣版社
2000-10-01
0
18.0
9787030083647
圖書標籤: 計算理論 計算機 數學 人工智能 CS
喜歡 邏輯公式的可滿足性判定--方法 工具及應用 的讀者還喜歡
下載链接在页面底部
下載連結1
下載連結2
下載連結3
发表于2025-04-06
邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2025
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2025
圖書描述
邏輯公式的可滿足性問題是計算機科學和人工智能中的著名問題．本書前三章主要介紹經典的命題邏輯和一階謂詞邏輯公式以及模態邏輯公式的可滿足性判定算法，也介紹瞭有關的軟件工具．第四章則介紹它們在離散數學研究、軟件和硬件的形式驗證與測試等方麵的應用．
本書可供從事計算機科學和人工智能研究的有關人員閱讀，也可供高等院校計算機專業的本科生和研究生參考．
著者簡介
圖書目錄
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載
用戶評價
評分
最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；
評分最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；
評分最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；
評分作為本科生課外讀物，這本書簡潔有趣。
評分作為本科生課外讀物，這本書簡潔有趣。
讀後感
評分
評分
評分
評分
評分
類似圖書 點擊查看全場最低價
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2025
分享鏈接
相關圖書
Classical and Quantum Computation pdf epub mobi txt 電子書 下載
Programming Languages pdf epub mobi txt 電子書 下載
信息論-本質·多樣性·統一 pdf epub mobi txt 電子書 下載
Introduction to the Theory of Computation pdf epub mobi txt 電子書 下載
Computability and Logic pdf epub mobi txt 電子書 下載
The Great Formal Machinery Works pdf epub mobi txt 電子書 下載
Learning Theory pdf epub mobi txt 電子書 下載
統計機器學習導論 pdf epub mobi txt 電子書 下載
綫性模型和廣義綫性模型 pdf epub mobi txt 電子書 下載
Introduction to Statistical Machine Learning pdf epub mobi txt 電子書 下載
An Elementary Introduction to Statistical Learning Theory pdf epub mobi txt 電子書 下載
Bayesian Nonparametrics pdf epub mobi txt 電子書 下載
統計模式識彆 pdf epub mobi txt 電子書 下載
Methods of Statistical Model Estimation pdf epub mobi txt 電子書 下載
財閥と帝國主義 pdf epub mobi txt 電子書 下載
Bayesian Networks and Decision Graphs pdf epub mobi txt 電子書 下載
Enigma - Mcmxc A.d. pdf epub mobi txt 電子書 下載
計算幾何 pdf epub mobi txt 電子書 下載
三角之美（第2版） pdf epub mobi txt 電子書 下載
The Persistence of Geometry pdf epub mobi txt 電子書 下載