科学殿堂的力学之光 第五届全国力学史与方法论学术研讨会文集 【数理化】

本书为第五届全国力学史与方法论学术研讨会文集，收录了在会议上交流的论文35篇，内容涉及力学学科的历史、方法论和教学法的阐述。在力学史方面，着重介绍一些中外力学家的思想、治学理念和对学科发展所作出的贡...

现代化知识文库 布尔巴基学派的兴衰-现代数学发展的一条主线 【数理化】

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

时间旅行与曲速引擎 快速穿越时空的科学指南 【数理化】

科幻小说使时间旅行变得轻而易举。接到了来自阿尔法星球的噩耗来电：没问题，按下曲速引擎，你将会在几分钟之后到达那里解决问题。即将来临的灾难可以避免吗？只要回到过去，在灾难发生前阻止它就OK了。但不幸的是，.....

理性的现代化 【数理化】

本书从哲学、历史、文化、数学、物理等角度，对人类基础理性进行了一次重新审视，在数理背景上按现代辩证原理言说了人的生存及其历史。

美国大学生数学建模竞赛题解析与研究 第4辑 【数理化】

本系列丛书是以美国大学生数学建模竞赛（MCM/ICM）赛题为主要研究对象，结合竞赛特等奖的优秀论文，对相关的问题做深入细致的解析与研究。本辑针对2003年及2004年MCM/ICM竞赛的6个题目：特技演员的安全问题、伽马刀...

少年科普知识 神奇的物质世界：构筑物质世界的材料 【数理化】

流形上的微积分 高等微积分中一些经典定理的现代化处理 【数理化】

形态解析：广义逆矩阵及其应用 【数理化】

本书用广义逆矩阵的方法解线性方程组可以得到含有任意常数的解，通过约束条件可得真解，可以方便地解决工程实际问题。本书可供工程力学、航空航天空间结构领域科研人员参考，也可作为土木类高校和航天部门的结构...

量子力学与原子世界 【数理化】