注册 | 登录读书好,好读书,读好书!
读书网-DuShu.com
当前位置: 首页出版图书科学技术计算机/网络计算机科学理论与基础知识逻辑公式的可满足性判定:方法、工具及应用

逻辑公式的可满足性判定:方法、工具及应用

逻辑公式的可满足性判定:方法、工具及应用

定 价:¥18.00

作 者: 张健著
出版社: 科学出版社
丛编项: 博士丛书
标 签: 命题逻辑

ISBN: 9787030083647 出版时间: 2000-01-01 包装: 精装
开本: 20cm 页数: 172页 字数:  

内容简介

  本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。

作者简介

暂缺《逻辑公式的可满足性判定:方法、工具及应用》作者简介

图书目录

暂缺《逻辑公式的可满足性判定:方法、工具及应用》目录

本目录推荐