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

在计算机中处理三维几何对象的前提是其数字化表示以及如何建模得到这样的数字化表示。在不同的应用场合，这些数字化表示还会被进一步加工处理，甚至进行各种分析和模拟仿真。本书以当前数字体验、虚拟现实、3D打印等新兴研究领域中的三维离散几何处理问题为重点，系统全面地介绍作者在网格模型的几何处理、建模、分析和物理模拟等方面的研究成

本书系统介绍q-级数研究领域的主要理论、方法及其应用.全书共九章,内容包括正整数的分拆、基本超几何级数、求和与变换公式及其应用、双边基本超几何级数及其应用、Bailey对及其应用、Carlitz反演及其应用、q-微分算子及其应用、q-指数算子及其应用、一类Hecke型恒等式等.本书吸纳了q-级数理论研究领域的新成果.《

本书是一线骨干教师数学教学研究和教学改革的教研成果，是老师们长年累月的教学心得体会的总结，是对如何提升教学质量、激发学生学习兴趣这一本质问题的思考.《BR》全书分4章.第1章探讨新时代教学思想如何变革；第2章主要讨论在互联网时代的教学改革，即如何利用网络的力量给学生提供更多的学习便利，让教学方式变得更加灵活；第3章是对

本书共分成四篇：第一篇为直觉感知篇，通过案例感知和认识数学教育的基本内容、基本范畴、常规工作、形成历程及学科特点；第二篇为基本理论篇，介绍了数学学习基本理论、数学课程基本理论、数学教学基本理论及数学教育评价基本理论；第三篇为实践操作篇，介绍了数学教学的常规工作、数学教学的基本技能、数学微格教学及数学教育实习；第四篇为延

本书主要讲授Lebesgue测度与积分理论的基本内容。全书共6章，内容包括集合论初步、可测集、可测函数、可积函数、微分与积分、空间。本书力求用简明的语言阐述Lebesgue测度与积分理论的主要思想和方法，注重基本概念的讲解和基本方法的介绍，特别注重讲透Lebesgue积分理论与Riemann积分理论的区别和联系。本书还

本书重视关联性。学习的乐趣之一在于知识的关联性。本书以数学概念、数学思维和数学家为关联点，将与关联点相关的星星点点的数学知识联结成系统，尝试引导读者从发散性的思考中寻找乐趣，从系统性的总结中拓展认知。 本书的重点不是分享解题技巧，而是期望展示数学的趣味性。希望读者在汲取校内的数学正餐营养之外，能通过本书多多体验甜点般的

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

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

"少年强，则国强"，大众尤其是青少年对于数学的兴趣与热爱，超出我的预期。因此，这份惊喜足以让我相信，这可以成为一个新的开始，一个新的起点。未来，让数学走入生活，让数学更多地在推动科技发展和创新中发挥其应用作用。本小册子是在报告录音的基础上经过修正、完善和扩充后整理而成的，以飨读者。我也要感谢中国科学院学部工作局、科学出

本书介绍离散数学的知识和应用。全书分为七章，分别为命题逻辑、谓词逻辑、集合论、二元关系、图论、初等数论和代数系统。《BR》本书用较大的篇幅介绍了离散数学知识在现代通信中的应用，包括公钥密码体制RSA解决方案、计算机大整数加法、编码和纠错方案等，这些应用都有详细的背景知识介绍，相应的结论也有详细的证明过程。

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

本书系统完整地介绍了测度论和概率论的基础知识.前5章介绍一般可测空间和Hausdorff空间上的测度与积分,包括局部紧拓扑群上的Haar测度.第6章介绍距离空间上测度的弱收敛和局部紧Hausdorff空间上测度的淡收敛,第7章介绍与测度论有关的概率论基础,第8章介绍离散时间鞅的基本理论,第9章介绍Hilbert空间和B

本书以数学模型及计算为主线，围绕微分方程与反问题，介绍了数学建模与计算的理论、方法及应用。微分方程及反问题研究在计算科学与工程领域具有特别重要的意义，在大数据和人工智能快速发展的时代正扮演着理论创新与技术升级的核心角色且起着不可替代的作用。《BR》本书首先介绍数学建模的理论与方法，特别是微分方程、积分方程与反问题、线性

数学物理反问题(也包括地球科学反演)已成为应用数学发展和成长最快的领域之一.基于模型驱动的传统科学和基于大数据分析的人工智能领域,都要求求解反问题.该书把地球科学反演问题高度概括,以第一类算子方程作为基本问题描述的出发点,系统开展反问题的基本理论、重要方法和应用研究描述.该书涵盖了反演领域的大部分知识点,包括反问题的不

《IntroductiontoAbstractAlgebra》(抽象代数基础)不仅在数学中占有及其重要的地位，而且在其它学科中也有广泛的应用，如理论物理、计算机学科等。其研究的方法和观点，对其他学科产生了越来越大的影响。本教材采取全英文形式撰写，主要介绍群、环、域的基本理论。通过《抽象代数》的学习，让学生理解和掌握群、

本书主要讨论经典李群方法在微分方程中的应用,内容涵盖了微分方程的李群方法的一些**研究成果．除绪论外,全书共6章,基本内容包括与李群方法相关的基本概念、多种类型微分方程的李群分析、偏微分方程守恒向量的构造和精确解的求解,以及李群方法的其他应用．本书系统性强,各章节自成体系又相互联系．在内容叙述和安排上,尽量采用通俗易懂

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

本书系统介绍序决策系统的优势粗糙集方法,包括属性约简的辨识矩阵方法、启发式方法及其加速算法和基于证据理论的方法,研究不完备序信息系统、区间值序决策系统和直觉模糊序信息系统的属性约简问题,提出序模糊决策系统的优势粗糙模糊集理论.

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