随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

数学科学文化理念传播丛书 数学的本性 珍藏版 【数理化】

本书编译自莫里兹的英文原著，原著分为21章，共有1185条，是世界著名数学家以及其他领域大家对数学理解的名言集锦。本书选译了其中的385条，合并归类为18章。本书的形式为中外对照，译文与原文上下罗列。除此之外，还...

没压力的数学 数学怪兽 【数理化】

本书为德国引进版图书。本书的主人公是四个性格和个性完全不同的学习小伙伴，跟随着他们的脚步，小读者们可以走进一个个精心设计的故事情境。本书的每个章节都贯穿着一个故事情节，讲述了四个学习小伙伴和小狗马...

探秘数学常数 奥妙无穷的黄金分割 【数理化】

数学-撬起未来的杠杆 【数理化】

本书为少年读物，介绍数学的有关知识，论述了为什么要学数学和如何学好数学以及数学在未来科学中的作用。

漫谈数学分析中的曲线与曲面 【数理化】

数学 它的内容方法和意义 第3册 【数理化】

数学上未解的难题 【数理化】

本书包括：“简化已经知道的算法”、“关于素数问题”、“四平方数问题”、“费尔马大定理”、“勾股定理与勾股数”等内容。

高等数学中定义定理的英文表达 【数理化】

本书针对高等院校学生学习数学中定义定理的英文表达介绍。

数学 它的内容方法和意义 第1册 【数理化】