程序员的数学3 书籍
经典好书《程序员的数学3》读书内容简介:用通俗的语言和具象的图表深入讲解了编程中所需的线性代数知识。内容包括向量、矩阵、行列式、秩、逆矩阵、线性方程、LU分解、特征值、对角化、Jordan标准型、特征值算法等。作者简介堀玄专攻应用数学和物理,主要从...详情
经典好书《程序员的数学思维修炼(趣味解读)》读书内容简介:序设计中常用的数学知识。本书门槛不高,不需要读者精通很多高深的数学知识,只需要读者具备基本的四则运算、乘方等数学基础知识和日常生活中的基本逻辑判断能力即可。本书拒绝枯燥乏味的讲解,而是代之以轻松活泼的风格。书中列举了大量读者都很熟悉,而且非常有趣的数...详情
金字塔的恶 书籍
经典好书《金字塔的恶》读书内容简介:/p>平安夜,凶杀、抢劫、袭警,都不是罪犯的真实目的?莫名死在出租车内,死因竟与女法官有关?头骨碎裂而亡,凶手居然是牧师?飞机失事、毒枭惨死……凶手却是最没有嫌疑的人!五个使人身体越来越紧...详情
绳圈的数学 书籍
经典好书《绳圈的数学》读书内容简介: 本书讨论了绳圈的打结与连环现象,介绍了研究这些现象的先进武器--琼斯多项式,讨论了绳圈的扭转与绞拧理论,介绍了制约它们的基本规律--怀特公式。作者简介详情
西方文化中的数学 书籍
经典好书《西方文化中的数学》读书内容简介:、数学教育家、数学史学家和数学哲学家。本书的目的是为了阐明这样一个观点:在西方文明中,数学一直是一种主要的文化力量。在书中作者主要考察数学思想如何影响了直到20世纪的人类生活和思想,所涉及的内容时间跨度极大,从古巴比伦、古埃及开始,一直到现代的相对论...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
不会笑的数学家 书籍
经典好书《不会笑的数学家》读书内容简介:”居住的三星馆举办。正当大家在观看天体运转模型时,矗立在庭院中央的一尊猎户座铜像突然凭空消失。当天王寺博士脱口而出:“谁能够解开这个谜”时,铜像又再度出现,但是参加舞会的其中一位女生却离奇死亡。不仅如此,还在死者的房间里发现另一具尸体。应邀参加的犀川...详情
命令行中的数据科学 书籍
经典好书《命令行中的数据科学》读书内容简介:用命令行这个灵活的工具提供了重要参考。作者讲解了众多实用的命令行工具,以及如何使用它们高效地获取、清洗、探索和建模数据。无论你使用Windows、OS X,还是Linux,都可以安装包含80多个命令行工具的“数据科学工具箱”,迅速建立自己的数据分析环...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
妈妈教的数学 书籍
经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年,响应国家号召,回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑,也通过文字的形式来传播思想,把图书当作介绍数学学习方法的工具。在...详情