测度论是研究一般集合上的测度和积分的理论，近年来在现代分析的应用中已显示出极大的潜力．作为测度论中的“**”，本书的主要目的是对测度论进行统一的介绍，内容有：集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑．

本书是东北师范大学微分方程教研室所编写的《常微分方程》（1982年第一版、2005年第二版）的修订版。全书共分六章，主要内容有：初等积分法、基本定理、一阶线性微分方程、n阶线性微分方程、定性和稳定性理论简介、一阶偏微分方程初步等。各章节之后都配备一定数量的习题。 本书可作为高等学校数学类各专业常微分方程课程的教学用书或参考书，对理工科学生学习常微分方程理论亦具有参考价值，还可作为科技工作者的参考用书。

随着科学技术的迅猛发展，具有复杂分层结构的数据在现实生活中很普遍。能完全剖析这类数据，发觉该类数据表象下的潜在规律性对于统计学等科研领域很有意义。《分层分位模拟——理论、方法及以应用（英文版）》致力于介绍复杂分层数据分析前沿知识，侧重于分层分位回归理论、方法及其应用研究。内容主要包括三大块：分层数据建模、分位回归与分层-分位回归。主要涉及到线性分层分位回归模拟、非参数分层分位回归模拟、适应性分层分位回归模拟、可加性分层分位回归模拟、变系数分层分位回归模拟、单指数分层分位回归模拟、分层分位自回归模拟、复合分层分位回归模拟、高维分层分位回归模拟、分层分位回归模拟、分层样条分位回归模拟、分层线性分位回归模拟、分层半参数分位回归模拟、复合分层线性分位回归模拟、复合分层半参数分位回归模拟等。

In this thesis we construct an additive category whose objects are embedded graphs （or in particular knots） in the 3-sphere and where morphisms are formal linear combinations of 3-manifolds. Our definition of correspondences relies on the Alexander branched covering theorem [1]， which shows that all compact oriented 3-manifolds can be realized as branched coverings of the 3-sphere， with branched locus an embedded （not necessarily connected） graph. The way in which a given 3-manifold is realized as a branched cover is highly not unique. It is precisely this lack of uniqueness that makes it possible to regard 3-manifolds as correspondences. In fact， we show that， by considering a 3-manifold M realized in two different ways as a covering of the 3-sphere as defining a correspondence between the branch loci of the two covering maps， we obtain a well defined associative composition of correspondences given by the fibered product.

本书是与吴传生主编的普通高等教育“十二五”国家级规划教材《经济数学——概率论与数理统计》第4版相配套的学习辅导教材，主要面向使用该教材的教师和学生，同时也可供报考经济管理类专业研究生的学生作复习之用。 本书的内容按章编写。每章包括教学基本要求、典型方法与范例、习题选解、补充习题、补充习题参考答案等五个部分，基本与教材同步。典型方法与范例部分是本书的重心所在，它是教师上习题课和学生自学的极好的材料。通过对内容和方法进行归纳总结，把基本理论、基本方法、解题技巧、释疑解难、数学应用等多方面的教学要求，融于典型方法与范例之中，注重对教材的内容作适当的扩展和延伸，注重数学与应用有机结合。习题选解部分，选择教材中一部分习题给出了习题解法提要，对一些富有启发性的习题，给出了较详细的分析和解答。补充习题大多数选自与各章节内容相关的历年的研究生招生考试的典型试题，并给出了相应的参考答案，供学生作为自测和复习之用。本书内容丰富，思路清晰，例题典型，注重分析解题思路，揭示解题规律，引导读者思考问题，对培养和提高学生的学习兴趣以及分析问题和解决问题的能力能起到较大的作用。它是经济管理类专业学生学习概率论与数理统计课程的一部很好的参考教材。

本丛书为您介绍了数百种数学图书的内容简介，并奉上名家及编辑为每本图书所作的序、跋等。本丛书旨在为读者开阔视野，在万千数学图书中精准找到所求著作，其中不乏精品书、畅销书。本书为其中的吉光片羽集。本丛书适合数学爱好者参考阅读。

《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明，这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等，基于实数的完备性定理，作为应用，进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外，还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所有形式化过程已被Coq验证，并在计算机上运行通过，体现了基于Coq的数学定理机器证明具有可读性和交互性的特点，其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建.

在旋进流形式下产生的流体动力不稳定性．称为涡流，在Francis水轮机尾水管的壁面上产生高压不稳定波动，导致了包括疲劳损坏在内的比较差的涡轮性能。该现象的建模和这个涡流系统的流体动力学不稳定性的数值研究是本书调研的任务。作为经典方法的替代方法，本书呈现了一种新的涡流流体解析法，该方法基于近的一种具有正交分解的谱配置的数学方法。本书呈现的数学模型可以恢复水轮机特性预测中的信息，而无须计算三维的不稳定流。本书提供了有价值的工具，可以在流道设计的早期阶段评估非设计运行状态下的水轮机性能。本书提供的数学工具为解决现代科学中出现的跨学科问题提供了可转移的知识，这些知识可以应用于许多不同的学科之中。

本书内容共分十二章，一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法，除了文字叙述外，还通过例题示范计算过程。每一类别都配备了一定量的练习题，并在每章末附有答案，供练习时参考。第十章介绍了非十进制数的转换和运算，列举例题都采用横式完成，另辟蹊径。尽管日常计算用不到，但了解这些知识，对我们更深刻地认识和了解进制、解决所关联的问题是大有好处的；第十一章横式简算法综合应用题例，展示了横式简算法在综合解题中的具体应用和简便快捷的运算特点；第十二章方法活用主要介绍了从日常计算中总结出来的一些经典方法，有助于读者拓宽思路，提升能力。本书各部分独立成篇，既可以按顺序学习，也可以根据读者需要进行有选择的学习。

《微积分概念发展史》是关于微积分概念发展历程的经典著作。作者从芝诺悖论开始，以柯西的极限理论、戴德金等人对连续性、数和无穷大理论的发展结束，系统介绍了这些概念和一系列相关探索。既有引人入胜的历史叙述，又有对思想源流的深刻分析；不仅阐释了数学发现的方法，而且阐明了数学思想的基础，使读者意识到数学不是一种技术，而是一种思维习惯。这部数学史经典值得数学教师和数学爱好者认真研读。