\本教材根据“101计划”的要求编写。教材的编写基于编者多年的教学经验以及与兄弟院校教师的交流，兼顾了先进性与一定的普适性，注重基础性、思想性以及学科间的融会贯通，精选了例题和习题。全书共二十一章，包含集合与映射、实数、序列极限、函数极限、连续函数、导

"本书对数理逻辑的基础知识进行了系统介绍。全书共8章，其中，第1章介绍了数理逻辑的基本思想以及后面各章所用到的预备数学知识，第2~6章分别介绍了命题逻辑和谓词逻辑，构造了它们的形式系统，并讨论了它们的系统性质，进而引入了包含数学理论的形式系统，前6章是本书核心内容；后2章介绍了哥德尔的不完全性定理、算法可计算性，这部分

本书系统介绍了凸分析基础的五个核心部分。①涉及与凸集理论有关的线性子空间、仿射集、超平面、凸包、单纯形、闭包、内部、相对内部、凸集分离和支撑超平面等基本性质和一些重要定理。②涵盖了与凸锥有关的顶点锥、锥包、凸锥包、回收锥、共轭锥（正极锥）、负极锥、法锥与切锥、障碍锥、凸锥分离、多面体、多面锥和多面体集等基本性质和重要定

本书是供大学本科热力学与统计物理学课程教学使用的习题解答以及解题思路讲解，在内容上配合作者的《热力学与统计物理学（第三版）》，在解题的过程中梳理教材中与各章节相配的解题思路、要领，帮助学生通过解题学习和提高。本书题目包含了经典的练习题，也有启发思考的题目。 为配合教材《热力学与统计物理学（第三版）》所作的修订和增删，《

本书主要研究Markov切换随机系统的稳定性分析及控制，来源于作者的研究工作及相关成果。本书主要针对不同类型的随机系统，从指数稳定性与控制理论两方面进行研究，能创新性确定动态系统的指数稳定性以及估计其指数收敛速度。随机系统的稳定性基本上取决于其预期应用。指数稳定性特性保证了无论发生任何的转换，网络快速存储活动模式的能力

本书对时间序列非线性协整的非参数检验估计方法进行了研究，在梳理非线性协整的非参数检验和估计理论有关研究成果的基础上，建立了非线性协整的非参数检验和估计的理论与实证研究的基本框架，丰富和发展非线性协整的非参数检验和估计方法和技术，研究了小样本条件下的非参数检验、估计方法的样本性质和小样本条件下的非线性协整模型构建与参数估

全书分为上、下两册。下册内容包括级数、向量代数与空间解析几何、多元函数微分学、重积分、曲线积分、曲面积分等。其中级数这一章里的“函数项级数的一致收敛性”一节理论性较强，读者可以根据具体情况选读。另外，在多元函数的积分学中，某些理论的叙述及证明较为抽象或复杂，例如重积分的可积性及其证明、积分变量替换法的证明，等等，本书略

本书采用GUI界面操作与APDL命令相互对照的方式，从基础知识、专题技术两个层面详细地阐述ANSYS2024有限元软件的使用方法和技巧。本书自始至终采用实例作引导，内容系统完整，且每章又相对独立，是一本简明的ANSYS读本。全书分为基础知识和专题技术两部分，共22章。基础知识部分（第1～7章），讲解了使用ANSYS进行

本书共11章，内容包括：有机分子的结构、极性与电荷分布，分子内的诱导效应、共轭效应与共振规律，有机反应的特征与分类，未成键原子间的作用力，氧化还原反应的机理解析等。