本书陈述数理逻辑的基本知识，包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支（模型论、证明论和构...
2015.11
图形推理是融图形图像、数学和逻辑学于一体的交叉科学。本书系统地介绍了图形推理的基本方法，并给出各种图...
2015.7
这本小书主要讲述了所说的观念以及如何把它运用来解决各种各样的具体问题。介绍了无穷小量的求和的基本内容...
2016.1
数学归纳法是一种数学证明方法，通常被用来证明给定命题在整个（或局部）自然数范围内成立。书介绍了数学归...
2015.3
非经典逻辑及其推理的种类和成果颇多。限于篇幅，本书仅总结作者2005年以来关于概率论、Lawry的适当测度理...
2015.2
本书主要从三段推理、形神推理、连锁推理、驳谬推理、归纳推理、同异推理、假设推理、逆向推理八个方面入手...
2014.10
本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语...
2014.11
这是一部学习数学逻辑和基础的研究生或者高年级本科生教程，不需要任何有关逻辑的预备知识，是学习数学逻辑...
2014.9
本书以参数化模糊逻辑、泛逻辑学和集成学习为理论基础，系统地研究了不等权参数化t-范数、泛平均和泛组合运...
2014.9
本书对塔斯基定理其相关真理论悖论进行了引述，从塔斯基定理开始，梳理了塔斯基、克里普克、赫兹伯格-古普...
2014.3