有趣的数学旅行 2 逻辑推理的世界

本书中选取丰富的有代表性的知识点来向我们呈现数学。如从数概念的诞生到无理数的发展，从数字极限到证明法剖析，从历史上的几何到生活中的几何，等等。它本原的置数学于历史生活中、自然中，并配以大量的图示，让我...

有趣的数学旅行 2 逻辑推理的世界

这套书分为《数的世界》、《逻辑推理的世界》、《几何的世界》、《空间的世界》四本，每本书中都选取丰富的有代表性的知识点来向我们呈现数学。如从数概念的诞生到无理数的发展，从数字极限到证明法剖析，从历史...

我这一代的物理学

应用逻辑 第2版

本书是一本介绍数理逻辑的基础教材。

数理逻辑 第2版

本书是数理逻辑课程的经典教材。

数理逻辑 第2版 英文版

本书是数理逻辑课程的教材。

从量子到宇宙 颠覆人类认知的科学之旅

数学就是这么有趣 神秘的数字

本书为“数学就是这么有趣”丛书之一种，本书以图文并茂的形式向读者小朋友讲述数字的含义、发明、大小写、正数、负数、小数、分数、实数、虚数等概念，并深入浅出地讲解如“8”“9”等吉祥数字在现代生活中的...

基于应用问题解决的认知调控

本书作者利用元认知及学习信念范畴知识，积累了一些与应用问题解决的相关资料以及对应用问题解决的思考和研究。本书是对这些思考和研究的总结和描述。...

应用逻辑 第2版

本是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书，书中强调了演绎作为计算的一种形式的概念。虽然本书覆盖了所有传统的逻辑主题（语法、语义、完备性和紧致性），但是书中大部分内容讨论的是其他主题...