邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024
簡體網頁||繁體網頁
張健
科學齣版社
2000-10-01
0
18.0
9787030083647
圖書標籤: 計算理論 計算機 數學 人工智能 CS
喜歡 邏輯公式的可滿足性判定--方法 工具及應用 的讀者還喜歡
下載链接在页面底部
點擊這裡下載
发表于2024-11-28
邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
邏輯公式的可滿足性判定--方法 工具及應用 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024
圖書描述
邏輯公式的可滿足性問題是計算機科學和人工智能中的著名問題．本書前三章主要介紹經典的命題邏輯和一階謂詞邏輯公式以及模態邏輯公式的可滿足性判定算法，也介紹瞭有關的軟件工具．第四章則介紹它們在離散數學研究、軟件和硬件的形式驗證與測試等方麵的應用．
本書可供從事計算機科學和人工智能研究的有關人員閱讀，也可供高等院校計算機專業的本科生和研究生參考．
著者簡介
圖書目錄
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載
用戶評價
評分
最近因為要科普一些東西，所以直接找本可以在一天讀完的讓他們自己去讀去；專業人士請繞道去Daniel那本書；
評分作為本科生課外讀物，這本書簡潔有趣。
評分作為本科生課外讀物，這本書簡潔有趣。
評分作為本科生課外讀物，這本書簡潔有趣。
評分作為本科生課外讀物，這本書簡潔有趣。
讀後感
評分
評分
評分
評分
評分
類似圖書 點擊查看全場最低價
邏輯公式的可滿足性判定--方法 工具及應用 pdf epub mobi txt 電子書 下載 2024
分享鏈接
相關圖書
-
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 電子書 下載
