1、Ge n e r a l In f o r m a t i o n 书名=2003 数理逻辑引论与归结原理作者=王国俊著页数=216SS号=11130493出版日期=2003年09月第1版前言目录目录 第一章预备知识 1.1偏序集 1.2格 1.3 Bo o l e 代数 第二章命题演算 2.1命题及其符号化 2.2命题演算的语义理论 2.3命题演算的语构理论 第三章一阶谓词演算的语义理论 3.1一阶语言 3.2解释、逻辑有效公式 3.3逻辑等价 第四章一阶谓词演算的语构理论 4.1形式系统K？ 4.2可证等价关系 4.3前束范式 4.4一阶系统K？的完备性定理 4.5不含量词的公式 第五章S
2、k o l e m 标准形与He r b r a n d 定理 5.1引言 5.2 Sk o l e m 标准形 5.3子句 5.4正则函数系统与正则域 5.5 He r b r a n d 域与He r b r a n d 定理 5.6 Da v i s 与Pu t n a m 方法 第六章归结原理 6.1命题演算中的归结方法 6.2置换与合一 6.3谓词演算中的归结原理 6.4归结原理的完备性定理 6.5求子句集S的简化方法 第七章归结方法的简化 7.1引言 7.2语义归结 7.3锁归结 7.4线性归结 第八章多值逻辑演算理论 8.1引言 8.2正则蕴涵算子 8.3 MV代数 8.4 Lu k a s i e w i c z 命题演算系统 8.5 R0代数 8.6命题演算系统？ 参考文献 索引
