多值逻辑函数结构理论研究

本书总结和概括了作者及其导师在国家自然科学基金等资助下，近20年来从事多值逻辑理论研究的主要成果。全书较系统地介绍了完全和部分多值逻辑函数的结构理论；较详细地介绍了部分多值逻辑中Sheffer函数的判定...

脑力震荡 全球最疯的逻辑谜题

本书收录了著名谜题作家亨利·杜德尼一系列的数学思维游戏，集知识性、娱乐性和思维训练为一体，让你在快乐思考的过程中掌握积极、敏捷、发散式的思维方法，并随时震荡你的脑力、激发出你的潜在智能。思维游戏是...

面向计算机科学的数理逻辑

《面向计算机科学的数理逻辑（第2版）》叙述了与计算机科学有紧密联系并且相互之间又有联系的数理逻辑基础性内容，包括经典逻辑和非经典逻辑中的构造性逻辑和模态逻辑。《面向计算机科学的数理逻辑（第2版）》在选材...

代数拓扑的微分形式

The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly， we move primarily in the realm o...

自然哲学基础分析 “相对论”的哲学和数学反思

形式概念及其新进展

本书包括：兼容子背景，同余关系，容差关系，块关系，子直接积，封闭关系，P积，P溶合理想过滤胶合，背景的反约简，概念凸集，局部兼用，Tamari格，伪内涵，Duquenne-Guigues基，各种标尺等。另一方面十多年，我们还搜集整理......

博弈逻辑理论与方法

本书《博弈逻辑研究》是作者主持的国家社会科学基金项目《博弈逻辑研究》的结项成果。博弈逻辑是博弈论和逻辑学相交叉的一个新的研究领域，属于应用逻辑范畴。博弈逻辑研究理性的主体互动行动中的推理过程，即...

有趣的数学旅行 2 逻辑推理的世界

本书中选取丰富的有代表性的知识点来向我们呈现数学。如从数概念的诞生到无理数的发展，从数字极限到证明法剖析，从历史上的几何到生活中的几何，等等。它本原的置数学于历史生活中、自然中，并配以大量的图示，让我...

GMAT批判性推理 逻辑分类精讲

GMAT批判性推理是以非形式逻辑作为依托，希望考生正确识别一个论证的结构，继而准确找到当前论证结构的评估方式，最终选出正确的答案。本书正是以批判性推理题型所考查的非形式逻辑作为基础编写的，共九章，前面八章...

逻辑悖论研究引论 修订本

本书在2012年被中国社会科学院评选为“最优影响的国内学术著作”之一，是我国逻辑悖论研究的一部重要专著。作者基于大量第一手资料的把握与分析，站在悖论研究最新成就的制高点上，以三类狭义逻辑悖论—集合论—...