数理逻辑引论与归结原理

出版时间：2003-1  出版社：科学出版社  作者：王国俊  
Tag标签：无  

内容概要

《数理逻辑引论与归结原理》讲述了与逻辑演算有密切关系的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&