本册教材分4个单元，用14个活动分别介绍了图像处理、图文编排、Flash动画制作以及通过班级网络进行交流学习等知识。内容丰富，由浅入深，操作步骤清晰。

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

椭圆曲线密码体制（ECC）是当前主流的公钥密码体制，该体制的安全核心是椭圆曲线离散对数问题（ECDLP）。本书首先对椭圆曲线离散对数及其相关问题，以及它们之间的相互关系进行了探讨，然后主要介绍了椭圆曲线离散对数问题的计算方法，包括通用的平方根算法及其改进、特殊椭圆曲线离散对数的计算方法、指标计算方法的努力、归约到NPC问题的方法和量子算法等，基本涵盖了ECDLP的所有求解算法。这些算法大都给出了实例验证，这为读者更好地理解它们提供了帮助。

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

全书共分10章，内容包括函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用、多元微积分、微分方程、级数及数学实验。书中增加了“想一想”“思政小课堂”等栏目，融入了课程思政内容；利用国产北太天元软件编写了新的数学实验。

本教材注重理论与应用密切结合，淡化抽象的理论推导，精选典型的应用实例，重点阐述模糊数学与粗糙集理论的思想方法及其应用价值.本书适合于各专业大学生、研究生学习和参考，特别适宜于数学类专业（数学与应用数学、信息与计算科学）、计算机科学与技术专业、数据科学与大数据技术专业、自动化专业、智能科学与技术专业、经济管理类专业，以及与信息处理、决策科学相关的其他专业作为教材使用.

本书基于高阶约束流、Hamilton结构及Sato理论提出了构造孤立子系统的Rosochatius形变、Kupershmidt形变、带源形变以及扩展的高维可积系统的一般方法,并以光纤通信及流体力学中的重要模型,如超短脉冲方程、Hirota-方程、Camassa-Holm型方程及q-形变的KP方程等为例详细阐述了我们提出的方法.进而推广达布变换及穿衣法求解可积形变的孤子方程。由于可积形变的方程中增加了非线性项,所以相应方程的解具有更加丰富的特性和应用。

本书研究了非线性算子不动点问题迭代逼近的收敛算法。这些算法包括相同空间下的一些非线性算子不动点问题的迭代序列,也包括不同空间下一些非线性算子不动点分裂问题的迭代序列,并在合适的条件下验证了这些算法具有强收敛或者弱收敛性。书中给出了许多非常初等的例子,并通过这些例子说明一些非线性算子的关系、有界线性算子范数的计算等,使得更容易理解这些抽象的非线性算子概念及其不动点迭代算法。

本书涉及有关自然数的本体论和认识论的基本问题。十九世纪后半叶，多位数学思考者、哲学思考者围绕自然数这一概念展开过一系列探索。其结果各有所长、各有千秋，但都不尽如人意。原因在于人们只注意到自然数的有限基数特点而疏忽了自然的实在的刚性的序特点。我国古代充满智慧的先人们则早已驾轻就熟地应用这种序结构来表达思想。本书试图从自然界的序现象出发，结合我国古代先人应用序的智慧，阐明这种几乎无处不在的序结构如同到处可见的几何结构一样，是人类一种来自生活经验的认识之源，有关自然数及其运算律的认识也和有关几何知识的

麦克斯韦方程组以一种近乎完美的方式统一了电和磁，并预言光就是一种电磁波，这是物理学家在统一之路上的巨大进步。很多人都知道麦克斯韦方程组，知道它极尽优美，但是能看懂这组方程的人却不多，因为它需要用到微积分，并不像许多方程那样简单直观。因此，《什么是麦克斯韦方程组》会依然延续「长尾科普系列」的风格，继续用通俗的语言和缜密的逻辑将麦克斯韦方程组的前前后后都讲清楚，让不懂微积分的中小学生也能轻松读懂这组伟大的方程。全书行文流畅，语言生动，图文并茂，可读性强。是一部不可多得的原创科普佳作。强烈推荐给对世界