数理逻辑引论与归结原理
¥
25
8.6折
¥
29
九品
仅1件
作者王国俊
出版社科学出版社
出版时间2003-01
装帧其他
货号700
上书时间2021-05-24
商品详情
- 品相描述:九品
图书标准信息
-
作者
王国俊
-
出版社
科学出版社
-
出版时间
2003-01
-
ISBN
9787030115799
-
定价
29.00元
-
装帧
其他
-
开本
其他
-
纸张
其他
- 【内容简介】
-
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的Boole代数理论;命题演算与一阶谓词演算理论;归结原理理论以及多值逻辑演算理论等内容。
- 【目录】
-
第一章 预备知识
1.1偏序集
1.2格
1.3Boole代数
第二章 命题演算
2.1命题及其符号化
2.2命题演算的语义理论
2.3命题演算的语构理论
第三章 一阶谓词演算的语义理论
3.1一阶语言
3.2解释、逻辑有效公式
3.3逻辑等价
第四章 一阶渭词演算的语构理论
4.1形式系统K&
4.2可证等价关系
4.3前束范式
4.4一阶系统K&
点击展开
点击收起
— 没有更多了 —
以下为对购买帮助不大的评价