逻辑游戏 【数理化】

数学思维能力的发展和提高是一个循序渐进、长期训练、螺旋上升的过程。本丛书集传授知识、开发智力、游戏娱乐于一体，既是知识载体，又是娱乐工具。本丛书共8个分册，分别是数字游戏、进阶数独、几何游戏、图形...

数理逻辑是什么 【数理化】

本书是一本关于数理逻辑的导论书，面向的是没有任何数学基础的读者，主要介绍了数理逻辑中谓词演算的完全性、模型论、递归函数、哥德尔不完全性定理、集合论等，以帮助读者掌握关于数理逻辑的一般知识，提高其在日...

数理逻辑基础 上 【数理化】

包含《现代数学基础丛书》共50本，一个书号，定价7000元，面向馆配市场，装箱销售。本套丛书是《现代数学基础丛书的》典藏版，包含了在不同时间段出版的数学基础专著，使读者能够方便的阅读和查阅。本书涉及书目均为数...

数理逻辑引论 【数理化】

本书内容主要侧重于逻辑演算：即命题逻辑演算和一阶谓词逻辑演算，这些内容是构成数理逻辑其它分支的共同基础。全书共分五章，分别介绍了数理逻辑的研究对象、研究内容和研究方法；命题逻辑的基本概念、命题逻辑演...

数理逻辑发展史 从莱布尼茨到哥德尔 【数理化】

离散数学习题集 数理逻辑与集合论分册 【数理化】

逻辑代数与电子计算机简介 （高师内部交流教材） 【数理化】

数理逻辑 证明及其限度 【数理化】

本书针对对逻辑和数学基础有兴趣的的读者。相对于其他同类书,本书把逻辑与元数学联系在一起，更多地介绍语义部分并强调语法语义的统一。此外，本书的另一个重要目的是为了后继课程做准备，因此也是引学习者入数...

数学 直觉与逻辑的交响乐 【数理化】

本书主要阐明直觉思维与逻辑思维及其与之相应的演绎推理和合情推理方法在数学的发现、发明与研究和创新过程中的交互作用。考察与论证了古今中外一些大数学家的思维方式、研究过程及其结果。...

相对论逻辑自洽性探疑 【数理化】

本书回顾了狭义相对论的发展历史，对狭义相对论的重要概念和结论作了详细分析，从大量与相对论出现和发展有重要关系的原著论文中解读了狭义相对论的真正含义。...