本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分...
2016.9
《实定理的复证明》是对Hadamard的格言“实域中两个真理之间的最好和最短路程是通过复域”的延伸思考。面向熟...
2017.2
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分...
2001.8
作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者...
2016.11
本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基...
2016.8
本书利用现代逻辑所提供的技术、方法和观念，研究了归纳推理和溯因推理的不同类型，这是应用现代逻辑方法对...
2016.7
本书从逻辑学的两个核心概念“命题”和“论证”出发，论述了符号逻辑学的两套推理（命题逻辑和谓词逻辑）使用的...
2016.4
本书系统地介绍计量逻辑学与粗糙逻辑中的近似推理，主要是作者近几年研究工作的总结，同时也介绍了国内外学...
2016.3
本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法...
2016.4