数理和应用逻辑文集

中国科学院认知科学和智能研究中心 第一次学术讨论会论文选集

儿童外语能力和数学认知能力同步发展策略

本书是国家社科基金西部项目“儿童外语能力和数学认知能力同步发展研究”的总结论文，上篇探讨总结了儿童外语能力和数学认知能力同步发展的哲学、教育心理学和语言学理论基础。在广泛调查研究的基础上阐述儿...

数理逻辑的思想和方法

本书系统地讲解了数理逻辑的思想与方法

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

多值逻辑的理论和方法 非规范多值逻辑研究

本书回顾了多值逻辑发展简史，对一系列逻辑学家提出的一些逻辑系统及其语义和哲学背景给以介绍。多值逻辑的建立与未来偶然命题有直接关系，还与模态命题，概率论，非决定论有关；函数完备性问题是一个困难的独立问题...

罗素教你学命题和逻辑

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

理论流体力学的逻辑自洽化分析 源于“湍流”的哲学和数学思考

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

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

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

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