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

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

基础物理实验教程 物理测量的数据处理与实验设计 【数理化】

本书是普通高等教育“十五”国家级规划教材。作者力图建立以多选择性、多层次性研究型组合（系列）实验为主的教材框架，以适用于中型研究型组合实验为主的教学模式。该教材的实验内容的选择力求充分利用现有教学...

上帝与天才的游戏 量子力学史话 【数理化】

本书是对量子力学发展的一个回顾。量子理论是关于自然界的最基本的理论，它被认为是人类所创造的最优美、最成功的科学艺术品。它优美的数学形式令人赞叹，它精确的预言与实验惊人地符合，而它的成功应用更是遍及...

多维时间与运动分形论 化学反应、相对论、量子力学的运动统一 【数理化】

本书分上、下两篇。上篇中，作者根据化学反应质量作用定律和广义相对性原理，导出了复杂反应浓度场的非线性动力学方程，给出了化学反应、扩散、结晶形核、晶粒长大、传热及相变、吸附等多种基本动力学类型的机理...

ABAQUS有限元分析与案例精通 在海洋石油工程中的应用 【数理化】

本书重点在于介绍ABAQUS的基础操作和中高级应用案例，共分为两篇13章。第1篇“基础篇”（第1～5章），主要为绪论、有限元法的理论基础、ABAQUS有限元分析基础、ABAQUS的INP文件用法与实例、海洋环境载荷理论基础；第2...

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

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

数学物理中的微分几何与拓扑学 【数理化】

本书以理论物理文献中常用的语言深入浅出地介绍了微分几何与拓扑学（涉及代数拓扑与微分拓扑）近几十年来有深刻意义的重要发展。这些发展与理论物理的发展是密切相关的。全书分三个部分。第1部分介绍有关微分...

波动系统的定性分析与数值计算 【数理化】

全书共5章，主要介绍四类波动系统解的情况，刻画了解的各种性态。基于变分法与凹函数法找到了不同能量级别下各个系统相应的可解性条件，提出了可解性判定理论。第一章是概述，介绍四类波动系统的国内外研究现状。...

电离辐射源与效应 卷Ⅰ 辐射源 联合国原子辐射效应科学委员会 UNSCEAR 2000年向联合国大会提交的报告及科学附件 【数理化】

身边的数学辅导员 用GeoGebra解决函数与方程问题 【数理化】

古老的平面几何闪烁着人类智慧的光辉，许多经典内容成为千年传诵的传奇。免费数学教育软件GeoGebra，顾名思义地将几何（Geometry）与代数（Algebra）融为一体，它的价值不仅在于重温解析法的思想，更为重要地为大众理解数...