本书从几个著名数学问题出发，深入浅出地讲解了与我国初高中的教学实际紧密联系的数学知识，并把知识内容与数学核心素养结合起来。在这条知识主线的周边，穿插介绍知识内容的历史发展过程，对相关数学分支在数学史上的地位进行深入思考，并辅之以数学文化、趣味知识、数学游戏、数学悖论等茂盛枝叶。全书共6章，第1章介绍无处不在的杨辉三角；

本书内容全面，系统性强，涵盖了国内工科研究生对矩阵论的几乎全部知识点，并在教学结构上进行了创新的优化和调整。本书包含五章内容。第一章为对线性代数知识的回顾，第二章介绍线性空间的定义、赋范线性空间、内积空间；第三章介绍线性变换；第四章介绍若当标准型及详细的矩阵分析及矩阵函数等内容；第五章介绍矩阵分解、广义逆、Kronec

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书是髙等学校数学建模课程教材，共12章，包括数学建校概述、初等模型、微分方程模型、差分方程模型、概率与随机模型、数学规划模型、数据处理模型、问归分析模型、分类模型、评价模型、预测模型、现代优化算法。本书以数学建模方法为主线，以解决社会生活和生产符理等领域中的实际问题为切入点，着重介绍解决问题的数学建模思想方法和基本过

本书分11章，内容涉及数学建模简介、Python编程基础与科学计算、常微分方程及差分方程方法、偏微分方程、插值与拟合方法、**化方法、图论方法、排队论、回归分析、因子分析、时间序列预测分析方法。第3—11章每章先给出历史沿革，然后进行方法简介，最后结合实例讲解建模方法，配合数学软件的介绍和使用，加强建模求解过程的基本训

本书共分为6章，主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。

《特殊函数概论》是著名学者王竹溪先生的著作，书中系统地讲述了一些主要的特殊函数，如超几何函数、勒让德函数、合流超几何函数、贝塞耳函数、椭圆函数、椭球谐函数、马丢(Mathieu)函数。原著书中有360多道习题，习题数目巨大，且难度很高，如果单由读者去自行解答，会给读者带来很大的困难和困惑。吴崇试教授根据书中内容，总结书

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是

本书是基于作者多年来为本科生、硕士研究生讲授组合分析方法及应用课程的讲义与作者的研究成果编写而成。全书系统介绍组合数学的存在性和计数两大组合分析领域的主要理论、方法及其应用，共八章，内容包括鸽巢原理及其应用、排列与组合及二项式系数、容斥原理及其应用、生成函数与递归关系、二阶线性齐次递归序列、组合序列及其性质、组合反演公

本书内容包括偏微分方程的基本概念，数学物理方程相关的背景，数学模型的建立与定解问题，定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。