本书系统地介绍了排序理论和动态规划理论方面的研究成果，讨论动态规划方法在解决排序与调度问题中的应用。

本书采用以问题与分析的形式解答理工科院校高等数学教学中常见的典型问题，对每章在教学和学习中出现的典型问题给与了详细的分析和解答，对部分重要的知识点进行了拓展，具体内容包括函数、极限与连续，一元函数微分学，一元函数积分学，微分方程，向量代数与空间解析几何，多元函数微分学，多元函数积分学，无穷级数等。

本书旨在以丰富的实例讲解数学建模的一般步骤、基本方法和基本技巧，内容涉及数学模型的概述、初等方法建模、应用高等数学建模（侧重微分方程建模）、层次分析方法建模、离散方法建模（含组合优化建模、线性规划建模、差分方法建模、最小覆盖方法建模）、聚类分析方法建模、对策和决策方法建模、交通流模型及稳定性问题的探讨。附录中给出了2014年美国大学生数学建模特等奖和SIAM奖优秀论文、2019-2020美国大学生数学建模一等奖优秀论文，2020年中国大学生数学建模全国一等奖优秀论文。本书可作为数学各专业《数学模型》必修课程的教材，也可作为面向各专业的通识课《数学建模》和面向数学建模竞赛的辅导教材。

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是分数阶的。高阶逻辑形式化验证是形式化验证方法的一种，它是一种人机交互的定理证明方法。本书以分数阶微积分和高阶逻辑形式化验证为切入点，系统性研究了分数阶系统的求解、近似化、控制器设计与高阶逻辑形式化分析验证等内容。

自然图像、高光谱图像、医学图像、视频以及社交网络数据本质上都属于多模态数据，张量是多模态数据的自然表示形式. 近十余年来，张量学习的研究引起了国内外研究者的广泛关注，并取得了一批非常优秀的成果，被广泛应用于机器学习、模式识别、图像处理、计算机视觉、数据挖掘以及社交网络分析等领域。本书从张量的基本概念和代数运算出发，基于多元统计分析和小样本学习理论的两条主线，详细归纳和总结了国内外研究者在张量分解、张量子空间学习、有监督张量学习、带噪声和缺失数据的张量子空间学习、张量子空间学习在图像补全和去噪中的应用、张量子空间学习在数据挖掘中的应用等方面取得的**成果。

本书精选了历届全国、省、市初中数学竞赛优秀试题，试题数量超过了1000道，所选的每道题都有详细解答，提升了它的使用价值和权威性.书中的三段"小插曲"，即"解题策略大盘点（一）（二）（三）"，将初中数学常用的解题策略和技巧，通过对典型例题精辟的分析和详尽的讲解，系统地介绍给中学生读者，深入浅出，通俗易懂，同学们乐于接受也容易掌握，这是本书的一大特色.本书适合中学师生及数学爱好者参考阅读.

《沿着鹦鹉螺线滑行-建筑室内设计的数学思考》一书主要涉及了微积分、分形几何和幂律指数在建筑室内设计中的应用和启示。作者从自然界的最小作用量原理出发，探索了数与形之间的联系，以及不同系统之间的相似性。本书分为三个部分，第一部分介绍了微积分的基本概念和原理，以及它们在造型设计中的作用；第二部分介绍了分形几何的特点和美学，以及它们在自然界和艺术中的体现；第三部分介绍了幂律指数的规律和意义，以及它们在不同系统中的普遍性。本书旨在用数理逻辑为建筑室内设计提供理论依据和创新思路，是一本集科学、艺术和哲学于一体的跨学科著作，适合对建筑室内设计、数学和自然感兴趣的读者阅读。

《数学中的矛盾转换法》通过对各类例子的分析讲述，由浅入深地向读者介绍数学中的“关系映射反演方法”（简称RMI方法）。因为这种方法的食指就是“矛盾转换法”，也就是把较困难的问题转化为较易处理的问题以求得解决的方法，所以这是一种非常普遍的思想方法，其应用远不限于数学领域。

《数学中的美学方法》采用历史唯物论观点，阐述了数学美的概念的发展过程、数学美的分类和特征以及数学美的地位与作用，还讨论了数学审美教育等专题。这些题材对培养高水准的数学师资和具有创造才能的数学工作者，乃至广大读者，无疑是富有启发性和指导意义的。相信大家都能从这本读物中获得应有的启示和教益。

《数学与智力游戏》通过对数学中各种“高智商”游戏谜题的介绍，试图勾勒出传统印象中数学“抽象、枯燥、严肃”表情的另一面：令人欲罢不能、流连忘返、如痴如醉。