Martin-Lof类型论程序设计导论 【数理化】

创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...

轻松解读科学奥秘 概率统计超入门 【数理化】

随着时代的进步与社会的发展，概率与统计不仅被运用于理工学科，而且广泛地应用到社会学中与生活中。本书从骰子游戏的胜负谈到基础的统计处理，阐述详尽具体，尽可能运用贴近生活的例子加以说明，并配以图解。...

关于透平机械流体力设计程序的研究 4 离心透平机械的性能予测 【数理化】

ANSYS有限元分析从入门到精通 【数理化】

本书是一本系统全面详解ANSYS功能知识点与深入剖析工程应用的指导性教材，读者通过本书能够快速、深入学习知识点内容，掌握该软件的工程应用方法，并积累一定的工程实践经验。...

高数叔微积分入门 【数理化】

《高数叔高等数学入门》是一套大学数学的入门课程，包括了微积分、线性代数以及概率统计的内容。本书以小知识点为单位，用生动幽默的语言、详细的标注、清晰明了的图片结合经典例子，将抽象复杂的数学概念讲解得...

化学分析方法验证程序及应用实例 【数理化】

验证是建立分析方法过程中的重要一环，目的是确证所建方法是否达到预期分析目标。本书稿分析了我国及国外标准化组织开展验证活动的情况，给出了方法具体性能参数的验证程序，并基于作者丰富的标准制定经验，列举实...

结构力学的样条函数方法及程序 【数理化】

本书主要介绍结构力学的新方法及其C程序设计，在介绍基本概念的基础上，重点介绍最新成果，内容包括：基本概念、样条函数、结构理论、样条函数方法、结构力学及固体力学的几种新方法、计算程序及其在结构力学中的...

结构动力学与MATLAB程序 【数理化】

全书分为7章，第1章绪论，介绍了结构动力学的基本任务和问题特点；第2章基本力学原理及结构运动方程的建立，介绍了牛顿第二定律、动量矩定理、DAlambert原理、虚功原理、Hamilton原理和Lagrange方程；第3章单自由度...

统计思维 程序员数学之概率统计 第2版 【数理化】

本书共分14章，从最基本的概念讲起，内容包括探索性数据分析、分布、概率函数、累积分布函数、分布建模、概率密度函数、变量之间的关系、估计、假设检验、线性最小二乘法、回归分析、时序分析、存活分析及其他...

周读书系 费曼讲物理 入门 【数理化】

节选自风行世界的《费曼物理学讲义》。该书内容包括“运动着的原子”、“基础物理学”、“物理学与其他学科的关系”、“能量守恒”、“万有引力理论”、“量子行为”六部分。书里几乎没用什么数学，这不仅是...