陆钟

数理逻辑与机器证明.pdf

本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录.绪论简要地说明了数理逻辑的研究对象和方法.前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题.附录中阐述了重言式的推理,并且论证了它与自然推理的关系.第四至第六章是机器证明部分

数理逻辑与机器证明.pdf

本书介绍数理逻辑及其在机器证明中的应用. 数理逻辑部分包括绪论、前三章及附录.绪论简要地说明了数理逻辑的研究对象和方法.前三章分别介绍命题逻辑、一阶逻辑以及它们的可靠性和完备性问题.附录中阐述了重言式的推理,并且论证了它与自然推理的关系.第四至第六章是机器证明部分

面向计算机科学的数理逻辑(第二版) 陆钟万 著.pdf

本书叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容,包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。本书在选材时考虑了逻辑系统的特征,并且适应计算机科学的要求。本书研究各种逻辑的背景、语言、语义、形式推演,以及可靠性和完备性等问题。本书大部分章节附有习题。