GMAT批判性推理是以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估...
2015.4
本书是数理逻辑和集合论的基础语言。共8章，前5章是数理逻辑部分：第1～3章是数理逻辑，包括命题逻辑、谓词...
2016.1
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11
本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11
图形推理是融图形图像、数学和逻辑学于一体的交叉科学。本书系统地介绍了图形推理的基本方法，并给出各种图...
2015.7
这本小书主要讲述了所说的观念以及如何把它运用来解决各种各样的具体问题。介绍了无穷小量的求和的基本内容...
2016.1
数学归纳法是一种数学证明方法，通常被用来证明给定命题在整个（或局部）自然数范围内成立。书介绍了数学归...
2015.3
非经典逻辑及其推理的种类和成果颇多。限于篇幅，本书仅总结作者2005年以来关于概率论、Lawry的适当测度理...
2015.2