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

本书是全国高等教育自学考试“线性代数（工）”指定教材，本次改版是根据自考办在规划课程时，重新设置了本课程的名称，进行的改版。本书内容的修订，主要根据《线性代数（工）自学考试大纲》，对例题、习题等再进行优化，对知识点的讲解再突出重点，更好地适用于参加自学考试的学生。同时将建设本教材配套的数学资源。数字资源的建设主要对教材

本书根据教育部高等学校大学数学课程教学指导委员会制定的“经济和管理类本科数学基础课程教学基本要求”，并结合编者长期从事高等数学教学的经验及应用型本科院校学生的基础和特点进行编写的。内容包括：函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用。书内各节后均配有相应的习题，各章后有相应的综合练习，书后附有习

"本书是“十四五”职业教育国家规划教材，也是国家级精品资源共享课“高等数学”课程的配套教材。本书作者主编的《高等数学》（第五版）曾获首届全国教材建设奖全国优秀教材一等奖。本书是为了落实教育部《高等职业教育专科数学课程标准》（2023年版）及《“十四五”职业教育规划教材建设实施方案》的要求，适应我国高等职业教育培养高素质

本教材是浙江省一流课程“文科数学”的配套教程，内容主要是微积分和数学文化。微积分的诞生开创了人类科学的黄金时代，成为人类理性精神胜利的标志，本教材重要内容之一就是深入浅出地介绍微积分知识，具体包括函数、极限与连续、导数与微分、导数的应用、不定积分、定积分及其应用。另一个重要内容是展现博大精深的数学文化，培养学生的数学素

本书主要介绍常微分方程的初等积分法、基本理论、定性和稳定性理论的基本内容�本咛灏�括常微分方程的初等解法、解的存在唯一性定理、高阶微分方程、线性微分方程组、定性和稳定性理论初步等�北臼楦鹘谂溆邢疤獠⒏讲慰即鸢福�个别习题还有提示，书末附录介绍了Maple在常微分方程中的应用�北臼榭勺魑�高等学校数学专业常微分方程课程的教学用

数学是一种可以以多种方式实践和理解的基本人类活动；事实上，数学思想本身并不是固定的，而是在不同的时代和文化中有所适应和改变。在本书中，杰奎琳·斯特多尔从著名的数学家怀尔斯破解费马大定理这一案例出发，列举了不同主题下多个深入浅出的例子来梳理数学这门学科的历史，探讨了从遥远的过去到现在，人类的数学研究在历史和

本书上册内容包含函数、极限与连续、导数与微分、中值定理与导数的应用、不定积分、定积分及其应用、空间解析几何与向量代数。

线性代数在现代科学的各个领域都具有广泛的应用，是高等院校理工、经管等各专业的一门重要的基础课。本书是我们在清华大学出版社出版的《线性代数》(第2版)的配套辅导书，也可以独立使用