趣题大师的逻辑训练 【数理化】

为纪念2010年5月22日离世的数学科普大师马丁·加德纳，将原“加德纳趣味数学系列”丛书精选后重新包装出版。

数理逻辑与数学基础习题集 【数理化】

测试你的逻辑推理能力 【数理化】

信息、智能与逻辑：第1卷 【数理化】

本书是在“首届信息、智能与逻辑高级学术论坛”讨论成果的基础上重新写作编辑而成的。全书分为通论、特论、论坛档案三大部分，收集了10篇信息、智能与逻辑的重要文章以及本次论坛的有关文件资料。...

缺省逻辑的扩充 【数理化】

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

数学家的逻辑 【数理化】

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

爱上数学 数字与数量 【数理化】

超越时空 通过平行宇宙、时间卷曲和第十维度的科学之旅 【数理化】

内容提要当代物理学中一些非常重要而又艰深的思想，往往因为难以形象浅显地解说而不易为公众所了解。本书作者不畏艰辛，用很生动的方式向读者展示了现代物理前沿之一——超空间理论——的来龙去脉。全书15章分...

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

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