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