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

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

本书是分数阶系统与高阶逻辑形式化验证的基础理论研究著作。分数阶系统是建立在分数阶微积分方程理论上实际系统的数学模型。分数阶微积分方程是扩展传统微积分学的一种直接方式，即允许微积分方程中对函数的阶次选择分数，而不仅是现有的整数。分数阶微积分不仅为系统科学提供了一个新的数学工具，它的广泛应用也表明了实际系统动态过程本质上是

本书是微积分（第3版）（上、下册）的配套系统课教材，也分上、下册。上册内容包括函数、极限与连续、导数与微积分、微分中值定理与导数应用、不定积分和定积分及其应用。

"为适应新时代应用型本科并兼顾职教本科创新人才培养，北京航空航天大学、南开大学、大连理工大学、天津仁爱学院、吉林建筑科技学院等多所院校的知名教授根据目前应用型本科及职教本科教学现状，对本书进行了修订。本次修订在保持了第二版的特色及内容结构的基础上，对部分内容进行了调整，并针对教学中及实际生活中常出现的一些问题增添了“想

本书共八章，内容包括：函数、函数的极限与连续性、导数与微分、微分中值定理与导数的应用、一元函数积分学、级数、多元函数微积分学、微分方程与差分方程。具体包含函数的表示法、数列的极限等内容。

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

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

上海大学理学院数学系，成立于1960年，其前身是上海科技大学数学系，由嘉定校区的数学系和延长校区、徐汇校区、嘉定东校区的数学教研室合并而成，本书主编为杨建生。杨建生，基础数学博士，上海大学数学系教授。《微积分强化训练题》（第三版）是2015年上海普通高校优秀本科教材《高等数学（上、下）》(上海大学数学系编，高等教育出版

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