数学的历史、逻辑和基础资料选辑 非标准分析 2 【数理化】

幻想数学大战 11 数字与逻辑的秘密 【数理化】

本书系趣味性数学儿童读物，巧妙地把数学知识与故事结合起来，是学龄儿童课外学习用书，该书通过有趣的故事情节激发儿童对数学的兴趣，步步深入，循序渐进、轻松易懂，非常有助于激发孩子的阅读兴趣，同时学习数学知......

三十年来的苏联数学 1917-1947 数学基础与数理逻辑 【数理化】

从前有个数 故事中的数学逻辑 【数理化】

本书告诉读者，故事与数字并非想象的那么不同，事实上，它们之间有令人惊奇、引人入胜的联系。逻辑和概率的概念，都是从某些故事如何演变的直观想法中发展起来的。现在逻辑学家已经发明处理现实世界状况的方式，这是...

数理逻辑的思想与方法 【数理化】

本书共六章，其中第一章主要介绍集合、集合运算的基本思想和方法，第二至四章介绍命题逻辑的基本思想和方法，第五章和第六章介绍狭谓词逻辑的基本思想和方法。本书各章联系紧密，选材适当，体系完整，论述准确，并建......

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

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

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

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

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

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

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

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

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