• 
  非经典数理逻辑与...
  ￥101.12元
• 
  非经典数理逻辑与...
  ￥19.75元
• 
  数理逻辑引论与归...
  ￥101.12元
• 
  数理逻辑引论与归...
  ￥77.42元
• 
  数理逻辑引论与归...
  ￥22.91元
• 
  模型论基础
  ￥94.40元
• 
  公理集合论导引
  ￥124.82元
• 
  数学基础 递归论
  ￥109.02元

本书内容可分为4部分。第一部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第二部分深入浅出地系统讲述命题演算与一阶谓词演算理论。第三部分清楚而严谨地讲述归结原理理论，给出了各个难点内容的完整证明。第四部分讲述多值逻辑演算理论，包括Lukasiewicz连续值逻辑及相关的MV代数理论以及由作者建立的&*逻辑系统和相关的R0代数理论。
本书可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

样章试读

• 暂时还没有任何用户评论

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

• 暂时还没有任何用户咨询内容

总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

用户名：	匿名用户
E-mail：
咨询内容：

• 第一章 预备知识
  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&的完备性定理
  4.5不含量词的公式
  第五章 Skolem标准形与Herbrand定理
  5.1引言
  5.2Skolem标准形
  5.3子句
  5.4正则函数系统与正则域*
  5.5Herbrand域与Herbrand定理
  5.6Davis与Putnam方法
  第六章 归结原理
  6.1命题演算中的归结方法
  6.2置换与合一
  6.3谓词演算中的归结原理
  6.4归结原理的完备性定理
  6.5求子句集S的简化方法
  第七章 归结方法的简化
  7.1引言
  7.2语义归结
  7.3锁归结
  7.4线性归结
  第八章 多值逻辑演算理论
  8.1引言
  8.2正则蕴涵算子
  8.3MV代数
  8.4Lukasiewicz命题演算系统
  8.5R0代数
  8.6命题演算系统&*
  参考文献
  索引