结构力学要点与计算

本书采用图表的形式，总结结构力学的理论知识、解题方法及经验。内容主要包括：体系的机动分析、静定梁与静定平面刚架和桁架的计算、超静定结构、连续梁与超静定刚架的计算、弹性体系的基本原理与位移计算、三...

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

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

概率与计算

本书详细地介绍了概率技术以及在概率算法与分析发展中使用过的范例。本书分两部分，第一部分介绍了随机抽样、期望、马尔可夫不等式、切比雪夫不等式、切尔诺夫界、球和箱子模型、概率技术和马尔可夫链等核心...

样条函数与计算几何

由于航空、造船、机械设计和制造等行业应用计算机作辅助设计的需要，逐步形成了一个新的计算数学分支——计算几何。这个分支与样条函数有着密切联系。本书叙述样条函数和计算几何的基本理论和方法，同时，总结了...

计算流体力学 基础理论与实际应用

本书主要介绍流数值计算基本概念、流场计算模型方程的数值计算方法、不可压缩流场数值计算方法、可压缩流场数值计算方法等。

二次规划 非线性规划与投资组合的计算

本书重点介绍非凸二次规划局部极小点的有关理论与方法。

应用数学与计算数学学报 第4卷 1990.1

固体物理与计算材料

本书主要分为三部分：固体物理基础，计算材料基础，计算材料实践。三个部分虽相互独立但又密切联系，主要是针对固体物理和计算材料课程的学习。第一部分是必修课教材；第二部分是选修课教材（提高部分）；第三部分是......

数值计算方法与实验

本书介绍在实际工程中有应用价值的数值计算方法，全书共分9章，内容包括绪论；非线性方程和方程组的数值解法；线性方程组的数值解法和迭代法；插值法；函数逼近与拟合；数值积分与微分；代数特征值问题及微分方程的......

微积分及其应用与计算 第1卷 第2册