逻辑公式的可满足性判定--方法 工具及应用 pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
张健
科学出版社
2000-10-01
0
18.0
9787030083647
图书标签: 计算理论 计算机 数学 人工智能 CS
喜欢 逻辑公式的可满足性判定--方法 工具及应用 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-11-23
逻辑公式的可满足性判定--方法 工具及应用 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
逻辑公式的可满足性判定--方法 工具及应用 epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
逻辑公式的可满足性判定--方法 工具及应用 pdf epub mobi txt 电子书 下载 2024
图书描述
逻辑公式的可满足性问题是计算机科学和人工智能中的著名问题．本书前三章主要介绍经典的命题逻辑和一阶谓词逻辑公式以及模态逻辑公式的可满足性判定算法，也介绍了有关的软件工具．第四章则介绍它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用．
本书可供从事计算机科学和人工智能研究的有关人员阅读，也可供高等院校计算机专业的本科生和研究生参考．
著者简介
图书目录
逻辑公式的可满足性判定--方法 工具及应用 pdf epub mobi txt 电子书 下载
用户评价
评分
作为本科生课外读物，这本书简洁有趣。
评分最近因为要科普一些东西，所以直接找本可以在一天读完的让他们自己去读去；专业人士请绕道去Daniel那本书；
评分最近因为要科普一些东西，所以直接找本可以在一天读完的让他们自己去读去；专业人士请绕道去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 电子书 下载
