本稿从不同角度对知识“指反断非”信息计算进行了更深入更细致的探讨，以利于人们可操作性地运用此有效的知识...
2016.12
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分...
2001.8
作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者...
2016.11
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基...
2016.8
本书利用现代逻辑所提供的技术、方法和观念，研究了归纳推理和溯因推理的不同类型，这是应用现代逻辑方法对...
2016.7
本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的...
2016.4
本书系统地介绍计量逻辑学与粗糙逻辑中的近似推理，主要是作者近几年研究工作的总结，同时也介绍了国内外学...
2016.3
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法...
2016.4
本书是数理逻辑和集合论的基础语言。共8章，前5章是数理逻辑部分：第1～3章是数理逻辑，包括命题逻辑、谓词...
2016.1
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11