数理逻辑引论与归结原理（第二版）

数理逻辑引论与归结原理（第二版） 内容提要

    《数理逻辑引论与归结原理（第二版）》在第一版的基础上进行修订再版，《数理逻辑引论与归结原理（第二版）》共9章，内容可分为Boole代数理论，命题演算与谓词演算理论，归结原理理论，多值逻辑的最新理论等4部分。同时，在第一版的基础上对“计量逻辑学”，关于一阶系统K完备性的证明等诸多内容做了补充或改写。
    《数理逻辑引论与归结原理（第二版）》可供计算机专业、应用数学专业、人工智能专业的研究生与高年级本科生及教师阅读。

数理逻辑引论与归结原理（第二版） 目录

第二版前言
第一版前言
第1章 预备知识
1.1 偏序集
1.2 格
1.3 Boole代数
第2章 命题演算
2.1 命题及其符号化
2.2 命题演算的语义理论
2.3 命题演算的语构理论
第3章 一阶谓词演算的语义理论
3.1 一阶语言
3.2 解释、逻辑有效公式
3.3 逻辑等价
第4章 一阶谓词演算的语构理论
4.1 形式系统K&
4.2 可证等价关系
4.3 前束范式
4.4 一阶系统K&的完备性定理
4.5 不含量词的公式
第5章 Skolem标准形与Herbrand定理
5.1 引言
5.2 Skolem标准形
5.3 子句
5.4 正则函数系统与正则域*
5.5 Herbrand域与Herbrand定理
5.6 Davis与Putnam方法
第6章 归结原理
6.1 命题演算中的归结方法
6.2 置换与合一
6.3 谓词演算中的归结原理
6.4 归结原理的完备性定理
6.5 求子句集S的简化方法
第7章 归结方法的简化
7.1 引言
7.2&

· 算子代数上线性映射引论

· 数组合地图论

· 有限群导引（下册）

· 广义哈密顿系统理论及其应用

· 有限典型群子空间轨道生成的格

· Banach代数

· 高斯过程的样本轨道性质

· 概率论基础和随机过程

· 数理逻辑引论与归结原理（第二版）

· 数理逻辑引论与归结原理

· 非经典数理逻辑与近似推理

· 计算智能(第二册)-词语计算与FUZZY集

· 数理逻辑引论与归结原理（第二版）

· 非经典数理逻辑与近似推理