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

本书根据数学分析课程知识点的正常教学顺序设计，共六十讲。主要通过极限、实数基本定理、微积分和无穷级数等教学内容介绍数学分析中的思想方法。书中内容既有细致到具体小知识点的思想方法，也有覆盖到数学分析大知识体系的思想方法。通过这些基本思想方法的讲解，使读者能够在较短时间内掌握数学分析思想，对数学分析内容有深刻的理解，也可以

本套书紧扣现行大学本科电类与信息类等专业的数学公共基础课的教学要求，将复分析与实分析作为一个整体，互相交融，有机结合;场论与多元函数微积分统一处理，并以线性代数为工具贯穿全书，建立起自然而紧凑的新体系。全书共三册，内容包括一元函数与多元函数微积分、矢量分析与场论、复变函数、积分变换、数学物理方程。体系新颖，结构紧凑自然

数据科学是建立在数学之上的。在本书中，我们将涵盖数据科学中广泛使用的数学工具，包括微积分、线性代数、优化、网络分析、概率和微分方程。特别地，本书介绍了一种基于网络分析的新方法，将大数据集成到常微分方程和偏微分方程的框架中进行数据分析和预测。本书中，我们把数学与数据科学中出现的示例和问题相结合，并展示高等数学，特别是数据

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

本书是一部系统地介绍Nabla离散分数阶系统理论的专著,其中包含了许多原创性成果和未解问题.针对Nabla离散分数阶系统,本书讨论了其稳定性分析和控制器设计问题,为了便于验证所提理论,还介绍了数值实现方法.本书由浅入深、循序渐进地展开,虽不是字斟句酌的教科书,但所给出的结论均提供了巧妙且严谨的证明,既介绍了灵感来源,提

近年来，在图像处理与强度可调辐射疗法的实际应用背景下，分裂可行性问题成为近期非线性分析的研究热点之一。本专著从三个方面研究分裂可行性问题与广义分裂可行性问题（分裂公共不动点问题、分裂变分不等式问题和分裂公共零点问题）解的迭代逼近。主要体现在新算法设计、空间扩展和参数减弱限制条件等方面。对于丰富和扩展分裂可行性问题相关理

本书以反应扩散方程的基本理论为基础，以生物、物理和化学等自然学科为背景，将几类主要的微分方程、积分方程作为研究对象，介绍非局部反应扩散方程的基本理论、基本方法以及一些常见的应用。内容包括非局部反应扩散方程的行波解、对应柯西问题解的适定性以及斑图动力学理论；主要用到的方法有Leray-Schauder度理论、稳定性分析、

本书主要讨论无穷维Hamilton系统，旨在用现代非线性分析的框架研究无穷维Hamilton系统。本书先介绍无穷维Hamilton系统的定义和性质，同时选取现代非线性分析中的常见问题为例解释其应用。我们采用变分的方法，建立统一的变分框架并且发展一些抽象的临界点理论来处理无穷维Hamilton系统。特别地，对于量子理论中

本书详细介绍小波变换的起源、原理和应用,内容覆盖傅里叶变换、窗口傅里叶变换、框架理论、连续小波变换、多分辨率分析、Daubechies正交小波、小波包、小波提升理论以及小波在信号处理和图像处理等方面的应用,涵盖了发展比较成熟的小波分析的所有基本内容。另外,本书特别关注实际应用和数学理论之间的关联,强调解决实际问题中的数