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

本书共分为6章，主要内容包括线性正则变换背景简介、线性正则变换的定义与基本原理、二维线性正则变换理论及其应用、线性正则变换域的时频分析、线性正则变换域雷达信号的参数估计、线性正则变换在ISAR成像中的应用。

本书内容包括偏微分方程的基本概念，数学物理方程相关的背景，数学模型的建立与定解问题，定解问题的典型求解方法(求通解方法、行波法、分离变量法、积分变换法、格林函数法以及数值求解法)。另外还介绍了勒让德多项式、球函数和贝塞尔函数在求解定解问题时的应用。

本书分为复变函数和积分变换两部分：复变函数部分包括复数与复变函数、解析函数、复变函数的积分、解析函数的级数理论、留数；积分变换部分包括傅里叶变换和拉普拉斯变换等。本书每章末都配有思维导图和精选习题,方便读者复习掌握和检验学习效果。除此以外，书中还设计了数学家简介、数学实验等版块，以增强数学底蕴,提高学习兴趣。本书中性质

本书系第五版，可供高等院校工科类、经济管理类以及大部分理科(例如力学、信息与科学计算专业)作为常微分方程教材或供准备参与数学建模竞赛、考研的学生参考.全书共分五章：初等积分法，线性微分方程，线性微分方程组，稳定性与定性理论初步，差分与差分方程.各章配有习题并附答案，个别习题还有提示，书末有三个附录：常微分方程组初值问

本书由两部分内容组成。第1部分系统介绍作者建立的常微分方程组边值问题和特征值问题的通用数值算法插值矩阵法，阐述了该方法的理论基础，给出大量算例，展示插值矩阵法求解各类常微分方程组的普适性和计算精度，包括非线性方程和刚性方程。第2部分是基于插值矩阵法通用求解器，采用半解析途径求解固体力学中偏微分方程组,如拓展插值矩阵法分

"本书是普通高等教育“十五”国家级规划教材。全书共分为六章，各章内容分别为：初等积分法，线性方程，常系数线性方程，一般理论，定性理论，一阶偏微分方程。在各章节之后都配备了一定数量的习题。本次修订增加了传染病模型、索洛经济增长模型和RLC电路系统，周期系数线性方程组的弗洛凯理论，格林函数和特征值问题，以及首次积分的一些内

本书全面系统地介绍了三类典型偏微分方程——波动方程、热传导方程和稳定场方程求解的有限单元法。全书共分9章：第1章导出典型偏微分方程与定解条件：第2～3章介绍有限单元法的基础知识；第4～6章介绍有限单元法求解稳定场方程、热传导方程和波动方程：第7～9章讨论有限单元法在地球物理正演中的应用，书中的实例均经过验证。本书的取材

本书内容包括以下七个部分：度量空间、赋范线性空间与巴拿赫空间、有界线性算子和连续线性泛函、内积空间与希尔伯特（Hilbert）空间、巴拿赫空间中的基本定理、线性算子的谱理论、Moran测度空间上傅里叶基的存在性。本书既可作为开设泛函分析必修课或选修课的教材，又可作为报考研究生学生的学习指导书，同时也可作为教师的教学参考

本书注重常微分方程理论方法的同时，也注重常微分方程的工程实际应用。旨在提高学生发现问题和解决问题的能力，通过理论和实践的反复循环，实现螺旋式上升。本书共七章。第一章简要介绍了工程问题的常微分方程建模，微分方程和动力系统的基本概念。第二章阐述了常微分方程的初等积分法，包括一些经典的一阶微分方程和特殊的高阶微分方程的解法。