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

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

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

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

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

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

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

《张宇线性代数9讲》主要介绍考研数学中线性代数的全部知识，并将其分为9讲。有三大特色如下： 第一个特色，是每一讲开篇列出的知识结构.这不同于一般的章节目录，而是科学、系统、全面地给出本讲知识的内在逻辑体系和考研数学试题命制思路，是我们多年教学和命题经验的结晶.鉴于有不少读者对线性代数、概率论与数理统计课程不甚熟悉，因

本书严格按照最新《全国硕士研究生招生考试管理类专业学位联考综合能力考试大纲》数学部分的考试要求进行编写，并依循历年考试命题思路、方法和原则，帮助广大考生准确把握考试命题的新动向。本书共分为十一章45讲，详尽解读考试大纲知识点，分析近年考情，指导考生高效复习，在有限时间内获得高分。 本书每部分设有大纲解读和往年真题分析

《张宇高等数学18讲》主要介绍考研数学中高等数学的全部知识，并将其分为18讲。有三大特色如下： 第一个特色，是每一讲开篇列出的知识结构.这不同于一般的章节目录，而是科学、系统、全面地给出本讲知识的内在逻辑体系和考研数学试题命制思路，是我们多年教学和命题经验的结晶. 第二个特色，是对知识结构系统性、针对性的讲述.这也