信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的最基本条件。《R-演算：一种信念修正的逻辑》**作者李未院士在20世纪80年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且

非线性泛函分析是现代数学的重要方向，包括拓扑方法、变分方法、半序方法以及应用等多方面内容作为数学专业的研究生教材，《拓扑与变分方法及应用》主要介绍拓扑方法、变分方法的发展历史、基本理论、前沿研究进展及应用，主要内容包括：非线性算子性质、隐函数定理、连续性方法、Lyapunov-Schmidt约化方法、单调性方法、拓扑度

《近可积无穷维动力系统》集中地介绍近可积无穷维动力系统的主要研究成果，其中包括近可积系统的若干基本概念和理论方法，几类扰动的非线性方程同宿轨道的保持性，以及存在同宿轨道基础上的混沌行为研究等。本书集中地介绍近可积无穷维动力系统的主要研究成果，其中包括近可积系统的若干基本概念和理论方法，几类扰动的非线性方程同宿轨道的保持

本书共6章。第1章是动力系统和函数方程简介。第2章介绍Sharkovsky序列、倍周期分岔、Feigenbaum函数方程、FKS函数方程。第3章介绍实数的动力系统展开，以及相关展开的分析性质。第4章介绍区间映射的共轭问题，包括单调映射、多峰映射、Markov映射，以及马蹄映射等；讨论共轭方程组的奇异解，无处可微连续解和

《数值泛函及其应用》用通俗浅显的语言介绍了泛函分析中与工程计算、数值逼近有密切关系的基本理论和有关重要定理及公式，如距离空间中的压缩映像原理与迭代法；Banach空间中的线性泛函与线性逼近；Hilbert空间中的正交分解、投影与逼近；Fourier分析与快速Fourier变换；泛函求极值的变分理论，有限元的变分原理及计

本书以初等数学、少量高等数学里陈述性知识为主体内容，在内容上，选取了初高中学生已有一定了解的数学知识，如数系、函数、图形、运算、模型等，作者从这些学生可能表面上知道但深层挖掘却又不明白的问题入手，利用这些基础知识勾勒出数学的概貌，让学生对数学学习不恐惧且容易接受，激发学生对数学学习的兴趣.本书有与之配套的视频资源，扫描

本书主要解决数学分析中的收敛与发散及相关的一些问题,内容包括数列的收敛与发散、反常积分的收敛与发散、数项级数的收敛与发散等.本书深入浅出,表达清楚,可读性和系统性强.书中主要通过一些疑难解析和大量的典型例题来解析数学分析的内容和解题方法,并提供了一定数量的习题,便于教师在习题课中使用和学生在学习数学分析时练习使用.本书

本书系统完整地介绍了测度论和概率论的基础知识.前5章介绍一般可测空间和Hausdorff空间上的测度与积分,包括局部紧拓扑群上的Haar测度.第6章介绍距离空间上测度的弱收敛和局部紧Hausdorff空间上测度的淡收敛,第7章介绍与测度论有关的概率论基础,第8章介绍离散时间鞅的基本理论,第9章介绍Hilbert空间和B

《非线性演化方程介绍非线性演化方程的物理北京、研究方法和取得的一些**的结果，包括一些**的结果。最后还介绍了无穷维动力系统。非线性演化方程内容非常丰富，该书分五章，基本还是属于介绍性的，读者可以从中对这一研究领域有一个较好的了解。

本书主要讨论经典李群方法在微分方程中的应用,内容涵盖了微分方程的李群方法的一些**研究成果．除绪论外,全书共6章,基本内容包括与李群方法相关的基本概念、多种类型微分方程的李群分析、偏微分方程守恒向量的构造和精确解的求解,以及李群方法的其他应用．本书系统性强,各章节自成体系又相互联系．在内容叙述和安排上,尽量采用通俗易懂