本书内容主要包括向量代数与空间解析几何、多元函数的微分法及其应用、重积分、曲线积分与曲面积分、级数等。全书注重理论与应用相结合，强调直观性、准确性和应用性。

本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分

离散数学课程是一门重要的专业基础课，在计算机类专业教学体系中起着重要的基础理论支撑作用。本书对计算机类专业在本科阶段最需要学习的离散数学基础知识做了系统地介绍，力求概念清晰，注重实际应用。全书共分七章，内容包括命题逻辑、谓词逻辑、集合、关系、图、树和代数结构，并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁

《数学实验（第三版）》是在江苏省21世纪教学改革重点项目数学建模思想与提高学生综合素质研究成果的基础上，由南京邮电大学数学实验编写团队精心编写、反复打磨而成的。《数学实验（第三版）》包含MATLAB软件基础和十四个数学实验，内容涉及高等数学、线性代数、初等数论、计算方法、概率论与数理统计等课程。《数学实验（第三版）》以

本书内容以初等数学为主体内容，同时也渗透了后续高等数学中的一些思想概念，如：以整数为基础叙述了中国剩余定理，以坐标轴的旋转和平移运算化简平面上的二次曲线方程为例，说明这样的操作过程是线性代数中二次型化标准型的特例，最后一章介绍了古典概型概率的计算。整本书的内容既包含初等数学中重要知识点，同时也对这些知识点做了适当的补充

本书内容包括三个部分。第一部分通过对重要切入点及需要优先考虑问题的研究，对如何推动民族地区的数学教学跟上国家教育发展的整体节奏做出了分析和概括。第二部分梳理了民族地区数学教学面临的主要挑战，并厘清了解决问题的方向，探讨了有效应对挑战应该采取的举措，明确提出了精准培训的概念、方法及实施策略。第三部分从不同角度探讨了精准培

本书在讲授了随机微分方程、随机反应扩散方程、随机Navier-Stokes方程和带切换的随机微分方程解的存在**性和正则性的基础上，系统地讲授了加性噪声和乘性噪声驱动的随机发展方程的适定性及正则性，总结了Hilbert空间和Banach空间中随机发展方程遍历性证明方法，简要讲述随机动力系统的Wong-Zakai逼近及随

《几何和统计（全彩）》内容简介：数学是一种“国际语言”，科学家用数学来表达他们对周围世界的具体想法。描述数量、形状和比例的能力是我们理解世界的核心方式，也是所有科学研究的基础。这本书展示了空间和数字之间的关系，探索了线、面和体的奥秘，并揭示了数据统计在现代数字世界中的重要性和应用价值。

本书全面介绍平面非光滑系统全局动力学分析的Me1nikov方法及应用。本书主要包括:平面非光滑系统同宿轨道和次谐轨道的Me1nikov方法，平面非光滑混合系统同宿轨道和异宿轨道的Me1nikov方法，平面双边刚性约束非线性碰撞系统全局动力学的Me1nikov方法和平面非光滑振子的混沌抑制等。本书发展的解析分析方法具有几

全书共分为7章。章包含了关于深度、Krull维数以及CM性质等的一些核心结果或者基本事实；其中关于标准代数的CM性与分次CM性的等价性、序列CM性的代数描述两部分内容十本书的特色和贡献。第二章是讨论单纯复形的基本事实，特别是描述了两个代数不变量（由复形构造的面环的深度、Krull维数）与复形的拓扑不变量之间的确切关系）