模态逻辑 数理逻辑

本书介绍数理逻辑在机器证明中的应用，陈述简明扼要，是入门的好书！

数理逻辑 A.G.汉密尔顿的中英文版

计算机编程必备的数学基础知识！图论 数理逻辑

本文着重介绍数量逻辑常用的四种证明方法:真值表法、主范式法、推理演算法、归纳推理法,以旨帮助读者了解诸法之区别及运用情境。

学习过数理逻辑课程之后要求我们能简述数理逻辑的研究对象及科学意义

在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分

哈工大数理逻辑讲义，页数很少，也就是比较简练，希望有人需要它；

高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词

高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~

很 有用的。。。。介绍的 蛮透的.。。。。。。。。。。。。。。。。。。。。。。。。