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

1963年全国数理逻辑专业学术会议论文选集

幻想数学大战 11 数字与逻辑的秘密

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

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

从前有个数 故事中的数学逻辑

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

数理逻辑十二讲

本书介绍数理逻辑的基础知识和基本理论，主要讲授命题演算和谓词演算。通过本课程的学习，学生将掌握相关的基本概念、基本理论、基本推理，以及公理系统和形式化方法。数理逻辑是以公理系统和数学证明为研究对象...

数理逻辑的思想与方法

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

逻辑、博弈与哲学践行

本文集的内容分为三个部分：第一部分，逻辑与哲学。本部分采用现代逻辑方法，从逻辑的形式技术上对偶然性、希望、怀疑等哲学概念构建形式系统，以得到相应的“哲学逻辑”。同时对归纳等哲学问题进行探讨。第二部分...

作为哲学的数理逻辑

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

罗素教你学命题和逻辑

本书通过学过的各种图形定义和性质、数的种类等内容，生动有趣地阐述了生硬烦难的命题和逻辑故事。将命题和集合联系起来思考，仔细了解了判断命题正确错误的过程。另外，通过罗素老师讲的有趣故事，学生们知道了让...