 |
名称 | 数理逻辑引论与归结原理 |
| 索引号 | O141/2b | |
| 分类号 | O141 O141(数理逻辑(符号逻辑)) O14(数理逻辑-数学基础) O1(数学) O(数理科学和化学) |
|
| 作者 | 王国俊、 | |
| 出版社 | 北京：科学出版社，2003 | |
| ISBN | 7-03-011579-1 | |
| 页数 | 216页 | |
| 价格 | CNY29.00 | |
| 标签 | 数理逻辑、归结方法、mathematical_logic、逻辑学、 | |
| 简介 | 现代数学基础丛书 | |
| 注解 | ||
书籍简介
《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的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&
粤公网安备 44030602003680号