经典好书《西方文化中的数学》读书内容简介:、数学教育家、数学史学家和数学哲学家。本书的目的是为了阐明这样一个观点：在西方文明中，数学一直是一种主要的文化力量。在书中作者主要考察数学思想如何影响了直到20世纪的人类生活和思想，所涉及的内容时间跨度极大，从古巴比伦、古埃及开始，一直到现代的相对论...详情

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

经典好书《数汤匙的贼》读书内容简介:史密斯对菲兹杰拉德极其嫌恶，却愿意花重金购买他的手稿。与此同时，九十二街的红墙别墅里死了一位老妇人，伯尼·罗登巴尔除了是个贼，还是个绅士，所以他不能对老妇人的死无动于衷。他一...详情

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

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

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

经典好书《数学在19世纪的发展（第一卷）》读书内容简介:因的名著，其内容是作者在临终前一两年给部分同事所作的讲演，而由他的学生们编辑成书。书十介绍了数学科学在19世纪的发展。在本卷(第一卷)非常详尽且有批判性地分析了高斯、黎曼、魏尔斯特拉斯、柯西、伽罗瓦等一大批最重要的数学家的数学思想和贡献；也介绍了一大...详情

经典好书《精彩的数学错误》读书内容简介:的价值。数学错误固然没有使我们达到预期的此岸，却可能会引导我们通往更为精彩的彼岸。本书视角独特，题材新颖，趣味盎然，是一部促进数学教育、理解数学本质的佳作。这是一部探究“数学错误”独特价值的极简数学史。两位资深的数学教育家用生动的笔触分...详情

经典好书《治愈未来：数字困境的全球解决方案》读书内容简介:来的五大工具。作者用理性的语言绘制了一幅地图，帮助我们在网络社会这片陌生土地上行路。为了画出这幅地图，作者行了几十万英里的路——不仅去了几个西欧国家和加州之外的美国许多城市，还从北加州的家飞到遥远的爱沙尼亚、印度、新加坡和俄罗斯。在这些地方作者采访了...详情

经典好书《妈妈教的数学》读书内容简介:，而当他们发现父母、老师教的数学难以理解时，“数学”就渐渐变成“可怕”的东西，当心理上出现了本能地抗拒，探索数学的乐趣也就成为空谈。本书作者孙路弘，学数学出身，更是“中国奥数*人”。他首度将数学启蒙与儿童心理学高度结合，运用“兴趣激活”的方式推动孩子...详情