数理逻辑是什么

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

数理逻辑基础 上

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

数理逻辑引论

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

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

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

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

数理逻辑 证明及其限度

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

数学 直觉与逻辑的交响乐

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

相对论逻辑自洽性探疑

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

训练逻辑思维的100道趣题

本书收集了训练逻辑思维的100道智力趣题，包括逻辑推理、逻辑排序、逻辑归类等各个方面，并附有答案可供广大青少年及数学、逻辑方面的爱好者阅读。...