逻辑 逻辑的性质与逻辑的方法导论 何秀煌
¥
150
八五品
仅1件
作者张健 著
出版社科学出版社
出版时间2000
装帧精装
货号玻璃柜外3
上书时间2023-06-24
商品详情
- 品相描述:八五品
图书标准信息
-
作者
张健 著
-
出版社
科学出版社
-
出版时间
2000
-
ISBN
9787030083647
-
定价
18.00元
-
装帧
精装
-
开本
20cm
-
页数
172页
-
正文语种
简体中文
-
丛书
博士丛书
- 【内容简介】
-
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价