经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《不会笑的数学家》读书内容简介:”居住的三星馆举办。正当大家在观看天体运转模型时，矗立在庭院中央的一尊猎户座铜像突然凭空消失。当天王寺博士脱口而出：“谁能够解开这个谜”时，铜像又再度出现，但是参加舞会的其中一位女生却离奇死亡。不仅如此，还在死者的房间里发现另一具尸体。应邀参加的犀川...详情

经典好书《数学概观》读书内容简介: 书中分别讨论数论、代数、几何及线性代数、极限、连续性及拓扑学、微分、积分、级数和概率，以及数学模型与现实等。作者简介详情

经典好书《国外优秀数学教材系列》读书内容简介: 作者简介详情

经典好书《クライン:19世紀の数学》读书内容简介: 本書は、19世紀後半を代表する数学者F.クライン(1849―1925)が著した19世紀数学史に関する名著の本邦初の翻訳。作者简介详情

经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具，以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X，还是Linux，都可以安装包含80多个命令行工具的“数据科学工具箱”，迅速建立自己的数据分析环...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年，响应国家号召，回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑，也通过文字的形式来传播思想，把图书当作介绍数学学习方法的工具。在...详情

经典好书《高等代数学》读书内容简介:，包括数与多项式，行列式，线性方程组，矩阵，线性空间，二次型，线性变换，空间分解，矩阵相似，欧空间和酉空间，双线性型，张量积与外积等。内容较深厚，便于打下优势基础；观点较新，便于适应现代数学。还有若干较深选读内容。可作为高...详情

经典好书《スピヴァック多変数の解析学》读书内容简介:とくに、概念や方法が微妙で、初等的な段階では厳密にやりぬくことの難かしい部分に主眼をおいた。本書で採用した方法は、高級な数学の現代的方法を初等的に書きなおしたものである。ストークスの諸定理がどれも証明はやさしく、定義や定式化が難かしいというのにはもっ...详情