结构推理是现代逻辑的重要推理方式之一，它通过对各种结构规则的研究，从整体上处理一大类逻辑，具有良好的...
2020.6
本书研究命题逻辑的结构推理，分为四章：一、经典命题逻辑的结构推理；二、直觉主义命题逻辑的结构推理；三...
2014.12
本书内容包括历史回顾、数字黑洞、数史钩沉、天文浅谈、河洛浅析、“缺8字”与洛书、斐波那契数、生理与心理...
2010.8
本书首创度量三结合原理，从而达到运用辩证逻辑讲述量的度量，使得在量的度量中，既给出量的整体量表值，又...
2009.9
本书是一部难度适中的本科生数学教材。主要讲述了什么是数学证明，这些证明怎么能够被验证以及电脑在多大程...
2008.05
本书系统地介绍了动态模糊集合论的初步认识和动态模糊逻辑的系统知识，分10章。
2005.07
本研究通过对类别特征推理任务认知机制及脑机制的分析，得出以下结论：第一，典型特征前提概率、标签匹配类...
2014.7
本书由四章组成。作者为数学博士，本书是作者在理论与实践中的科学研究总结。
2008.02
本书内容可分为四个部分：第一部分为预备知识，包含与逻辑背景理论有关的关系，偏序集，格， 代数的基本知...
2017.5
本书是《数理逻辑：证明及其限度》的第二版，主要内容为数理逻辑的基本知识。全书共分10章：第一章是预备知...
2019.9