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

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

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

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

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

《管理类联考·老吕数学母题800练(第7版)》由管理类联考数学名师吕建刚老师精心编写，本书根据考纲要求，结合历年真题考试重难点，将数学部分所涉及的知识点提炼为101类题型，涵盖所有考点。全书共分为两部分，侧重点有所不同，分别为 第一部分：母题精练。本部分侧重于对101个题型的深刻剖析和专项训练，每个题型下设【母题技巧

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

本书是安徽师范大学参加全国大学生数学建模竞赛和美国大学生数学建模竞赛获奖论文的选编，主要是从该校2006—2018年获全国一等奖、二等奖以及美国大学生数学建模竞赛一等奖的论文中精选出的15篇优秀论文编辑整理而成，每一篇独立成文。每一篇精选的获奖论文都按照竞赛论文的写作要求，包含论文的摘要、问题的重述、问题的分析、模型的

本书共六章，包括行列式、矩阵、向量空间、线性方程组、二次型、线性空间与线性变换。对非考研学生，第6章作为选学内容。针对不同学校、不同专业线性代数课程学时不同的情况，书中部分内容用楷体字呈现，教师可根据学时情况和学生接受程度酌情取舍，这样既降低了学生的学习难度，也使得学习主线清晰简单，内容易懂好学。书中配有各层次的例题和

本书是作者所作的《基础代数》第三卷.作者吸收借鉴了柯斯特利金《代数学引论》的优点和框架,在内容的选取和组织,贯穿内容的观点等方面都有特色.主要内容包括:群、群的结构、群表示、环、代数、模、伽罗瓦理论等.每章节附有适当的习题,可供读者巩固练习使用.