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

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

完全多部图分解与区组设计及其编码 【数理化】

本书主要探讨完全图，完全n部图以及完全多重图的完全二部图，完全m部图、完全多部图分解，主要介绍这类分解与区组设计的关系。

奥德赛数学大冒险 1 数的世界 【数理化】

这一套以数学为主题的趣味故事书，一定会让孩子们眼前一亮的。书中既有丰富的数学知识，更难能可贵的是这些数学知识不是简单的灌输，而是作者通过精心的布局，把他们用一个个用主人公奥德赛冒险的方式串联在一起，让...

斐波那契的兔子 现代数学之父与算术革命 【数理化】

在13世纪之前，欧洲世界没有人知道阿拉伯数字是什么，但是当时商业贸易已开始逐渐扩张到古老的数字符号无法负荷的地步，陈旧的数学计算方式严重抑制了商业行为。直到西元1202年，一个年轻的意大利比萨人莱昂纳多（Le...

设计工程师丛书ANSYS 11.0基础与实例教程 【数理化】

本书首先介绍了ANSYS程序设计语言APDL、建模与网格规划、加载后处理，及工程应用分别介绍了ANSYS有限元分析、结构力学分析、热分析、电场分析等方面的应用。...

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

实验设计与分析 原书第6版 【数理化】

本书是关于实验设计与分析的入门教材，是作者在亚利桑那州立大学、华盛顿大学和佐治亚理工学院三所大学近30年实验设计教学经验的基础上编写的。内容包括简单比较试验、 析因设计、分式析因设计、拟合回归模...

微分方程学习、设计与建模应用导引 【数理化】

本书以集成的方式、简明而综合地介绍了常微分方程和偏微分方程的学习、设计与建模应用指导，主要涉及常微分方程的基本概念、一阶微分方程的解法及解的存在唯一性订立、非线性微分方程的稳定性、常微分方程的...

现代物理学中的“实在”与“时间”问题 关于相对论、量子力学、超弦理论及当代宇宙学的塑造论哲学审视 【数理化】

本书从哲学和物理的角度，对相对论、量子力学、超弦理论及当代宇宙学的塑造论予以详细的解读。全书分为八章，在提出问题、解答问题、阐释概念中，由浅入深、由易到难、层层递进的有理有据的论述中，深入浅出地向读...

高等应用数学 基于翻转课堂的项目化设计 【数理化】

本书以项目化的形式组织内容，主要介绍了函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分应用、多元函数微分学、重积分、曲线积分与曲面积分、级数等内容。全书考虑高职学生的实际，例题丰富...