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

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

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

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

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

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

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

本书是为天津市大学生数学竞赛(经管类)编写的辅导教材，依托历届天津市大学生数学竞赛(经管类)考试真题，在对真题深度剖析的基础上，归纳总结了数学竞赛中的经典题型和思维方法。全书共分七个部分：极限、一元函数微分学、一元函数积分学、多元函数微分学、多元函数积分学、综合问题、拓展内容。全部例题都附有详细的分析和解题过程，最重要

本书是根据教育部高等学校大学数学课程教学指导委员会制定的非数学专业“高等数学”课程教学基本要求,参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求,并结合了作者的“高等数学”慕课,精心制作完成的数字化新媒体教材,读者可以扫描二维码学习相关资源。《BR》本书层次清晰,结构严谨,内容充

本书是根据教育部卨等学校大学数学课程教学指导委员会制定的非数学专业“髙等数学”课稈教学基本要求，参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求，并结合了作者的“卨等数学”慕课，精心制作完成的数字化新形态教材，读者可以扫描二维码学习相关资源。《BR》本书层次清晰，结构严谨，内容充