测度与概率教程 【数理化】

本讲义讲述测度论方面的基础知识以及在概率论方面的初等应用。包括：测度的构造、可测函数、单调类定理、积分及其变换、条件概率、乘积测度、测度的弱收敛、随机变量的独立性及条件独立性等等。本书作为研究...

结构力学要点与计算 【数理化】

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

弹性力学与有限单元法简明教程 【数理化】

本书是土木与水利类专业本科生课程“弹性力学有限单元法”的配套教材。主要内容包括弹性力学基本理论和有限单元法基础两个部分。

经典博弈论高级教程 第1卷 原理与模型 【数理化】

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

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

概率与计算 【数理化】

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

样条函数与计算几何 【数理化】

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

泛函分析与现代分析教程 【数理化】

本书共11章，前8章主要介绍了泛函分析的基本内容，后3章主要介绍了现代分析的初步内容，内容比较丰富，证明过程简明，可作为泛函分析和现代分析的入门教材和选修课教材。...

ANSYS基础与应用教程 【数理化】

本书内容大体分为三部分：第一部分为基础篇（1-5章），讲解有限元理论基础，ANSYS设置等内容；第二部分为深化篇（6、7章），讲解结构力学分析的内容；第三部分为高级应用介绍篇（第8章），介绍优化分析。...

计算流体力学 基础理论与实际应用 【数理化】

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