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

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

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

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

《随机发展方程引论》在讲授了随机微分方程、随机反应扩散方程、随机Navier-Stokes方程和带切换的随机微分方程解的存在唯一性和正则性的基础上，系统地讲授了加性噪声和乘性噪声驱动的随机发展方程的适定性及正则性，总结了Hilbert空间和Banach空间中随机发展方程遍历性证明方法，简要讲述随机动力系统的Wong-Zakai逼近及随机系统同步分析方法，总结了作者在分数阶偏微分方程、随机弱耗散系统和随机流体类发展方程的数值遍历性方面的研宄成果。

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

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

本书面向理工非数学类专业本科生。书中包含微积分在工程、管理及其他领域中的应用实例，通过对实际应用问题、数学建模例题的讲述，提高学生的学习兴趣并培养其应用数学知识解决实际问题的能力。本书配置丰富的数字资源，包括典型例题、习题讲解，每节预习检测，数学应用相关的选读材料等，读者登录数字课程平台或者扫描二维码即可浏览。本书上册内容包括一元函数微积分学、常微分方程初步；下册内容包括向量代数与空间解析几何，多元函数微积分学，无穷级数等。

好玩的数学长作业，最生动的体验，最深刻的感悟。有心而新，一线教师17年实践探索，用项目式学习让孩子喜欢上数学！

本书系统介绍非线性优化的基础理论，内容包括非线性规划、非线性二阶锥优化、非线性半定规划的**性理论和经典的稳定性分析理论，稳定性分析主要包括Jacobian**性条件下的稳定性分析和Karush-Kuhn-Tucker系统的强正则性的刻画。为了刻画非线性二阶锥优化和非线性半定规划的理论，以较短的篇幅介绍了对偶理论、锥约束优化的**性理论与经典的稳定性结果，还介绍了Lipschitz连续优化和互补约束优化问题的**性必要条件。