作为哲学的数理逻辑

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

基于格值逻辑的不确定性推理

本书较详细地介绍了不确定性推理的基本思想、概念和方法，着重介绍了作者在基于格值逻辑的不确定性推理方面的近期研究成果，主要包括基于格值一阶逻辑系统的不确定性推理理论和方法及在使用此方法过程中推理参...

图形和逻辑的故事 张远南先生献给中学生的礼物

本书分为“抽象中的形象——图形的故事”和“否定中的肯定——逻辑的故事”两部分。图形的故事介绍了拓扑学、运筹学、图论和射影几何等知识，展示了抽象与形象间的生动关系。逻辑的故事介绍了二进位制、逻辑...

牛津逻辑手册布尔值模型及集合论中独立性的证明

最好玩的逻辑推理题

本书由英国数一数二的趣题大师休伯特？菲利普斯所著，是他的所有逻辑推理题的精选，可以说是最好的逻辑推理趣题，能给喜爱数学趣题的读者带来乐趣。在这本书中，为了强调逻辑的合理性，作者提供的题目线索都是关键而.....

防策略投票理论的逻辑研究

本书将基于社会选择理论进行“跨文化互动的逻辑机制研究”，针对社会选择理论中的防策略投票问题探讨逻辑语言的表达力，建立相关的逻辑系统，以求理论瓶颈的突破。进而，给出下一步的研究方向，即用精确的形式语言来...

几何原本 建立空间秩序最久远最权威的逻辑推演语系 13卷图释全本

迷人的逻辑题

本书属于数学类图书。本书总结了125个经典的数学题、逻辑题以及脑筋急转弯，作者逐一分析了这些题目的解题思路，并在书后附上了详细的解析和答案。通过介绍它们的起源和影响，作者揭示了它们引发人类好奇心、挑...

数学逻辑基础：微积分学的观点方法和假设

本书首创度量三结合原理，从而达到运用辩证逻辑讲述量的度量，使得在量的度量中，既给出量的整体量表值，又给出与整体相关的各部分量的表值，使微分和积分在数学中才真正地获得自己的表值。...

互逆主义逻辑、数学和它们的应用

本书分别介绍互逆主义的逻辑演算、集合论、抽象代数、证明论与模型论、递归论。数理逻辑的三大派都是为了克服悖论而提出，互逆主义用两种方法排除悖论，以，把元素与集合分为三层，二、认为空集与全集是特异集合，对...