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

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

分子逻辑计算 【数理化】

本书译自英国皇家化学学会出版的《Molecular Logic-based Computation》，由中国科学院院士田禾教授进行主要翻译工作。本书是分子逻辑计算领域的权威书，涵盖了有关领域的科学研究者最前沿的学术研究成果。同...

乌莫夫维护物理学中唯物主义的斗争 【数理化】

逻辑游戏 【数理化】

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

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

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

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

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

西方文化中的数学 【数理化】

数理逻辑引论 【数理化】

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

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

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