逻辑游戏

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

数理逻辑是什么

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

数理逻辑基础 上

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

数理逻辑引论

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

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

中央人民政府高等教育部推荐高等学校教材试用本 理论力学习题集

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

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

几何学 空间和形式的语言

本书是对数学和自然科学史中关于几何的片段的回顾，通过时间的脉络，将几何学上的大师及其成就，以及几何命题和公式的得出背景等，一一展示给读者。...

数理逻辑 证明及其限度

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