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

本书面向全体少数民族预科学生，包括初等数学集合与数理逻辑、数与式、方程与不等式、函数、排列组合与数学归纳法、平面解析集合六章内容，重视数学基础的掌握、基本技能，注意高中内容与大学教学内容的过渡衔接。第一章集合与数理逻辑主要内容为集合与逻辑的概念及其运算，通过本章，学生要掌握集合与逻辑知识，锻炼逻辑推理能力。第二章数与式主要内容为整式、分式、部分分式、根式，负指数、分数指数幂，重点掌握式的运算。第三章方程与不等式，掌握一元二次方程与不等式、分式方程不等式、无理方程不等式的解法。第四章函数，主要内容

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

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

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

本书是根据教育部高等学校大学数学课程教学指导委员会制定的非数学专业“高等数学”课程教学基本要求,参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求,并结合了作者的“高等数学”慕课,精心制作完成的数字化新媒体教材,读者可以扫描二维码学习相关资源。《BR》本书层次清晰,结构严谨,内容充实,选材精心。全书分上、下两册。上册共8章,内容包括预备知识、函数与极限、导数与微分、微分中值定理与导数的应用、不定积分、定积分、定积分的应用、微分方程等内容。本书精选了大量的例题

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

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

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

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