作为哲学的数理逻辑 【数理化】

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

最大似然估计法 逻辑与实践 【数理化】

《最大似然估计法：逻辑与实践》是“格致方法·定量研究系列”丛书之一。本书是最大似然估计法的入门级读物。作者斯科特·伊莱亚森介绍了除正态分布之外的其他重要连续分布，并进一步讨论了不同的最大似然统计...

基于格值逻辑的不确定性推理 【数理化】

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

图形和逻辑的故事 张远南先生献给中学生的礼物 【数理化】

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

神圣的数 数字背后的神秘含义 【数理化】

本套书作者为我们揭示了物质的基本性质及相互间的交互作用，带我们了解构成宇宙的微小粒子。并简明的告诉我们宇宙大爆炸中到底发生了什么。...

数理逻辑引论与归结原理 【数理化】

本书在第1版的基础上进行修订再版，内容可分为4部分。第1部分讲述了与逻辑演算有密切关系的Boole代数理论，并以此为工具证明逻辑演算理论中的两个完备性定理。第2部分深入浅出地系统讲述命题演算与一阶谓词演...

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

最好玩的逻辑推理题 【数理化】

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

东西方矛盾观的形式演算 第2卷 正反数理逻辑概论 【数理化】

古罗马人的数字 【数理化】

汉声这一套书，如果儿童照书本操演，就可以学到数学基础知识。简洁的语言，动人的画面，使得儿童愿意阅读。