自然图像、高光谱图像、医学图像、视频以及社交网络数据本质上都属于多模态数据，张量是多模态数据的自然表示形式.近十余年来，张量学习的研究引起了国内外研究者的广泛关注，并取得了一批非常优秀的成果，被广泛应用于机器学习、模式识别、图像处理、计算机视觉、数据挖掘以及社交网络分析等领域。本书从张量的基本概念和代数运算出发，基于多

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

本册内容包括函数的极限与连续性、一元函数微分学、一元函数积分学和微分方程四章,每章分成教学基本要求、内容复习与整理、扩展与提高、释疑解惑、典型错误辨析、例题选讲和配套教材习题参考解答七个部分.内容讲解力求深入浅出,条分缕析,逻辑严谨,突出思想性、知识性、直观性.

本册内容包括向量代数与空间解析几何、多元函数微分学、第一型积分、第二型积分、无穷积数五章,每章分成教学基本要求、内容复习与整理、扩展与提高、释疑解惑、典型错误辨析、例题选讲和配套教材习题参考解答七个部分.内容讲解力求深入浅出,条分缕析,逻辑严谨,突出思想性、知识性、直观性.

本书从几个著名数学问题出发，深入浅出地讲解了与我国初高中的教学实际紧密联系的数学知识，并把知识内容与数学核心素养结合起来。在这条知识主线的周边，穿插介绍知识内容的历史发展过程，对相关数学分支在数学史上的地位进行深入思考，并辅之以数学文化、趣味知识、数学游戏、数学悖论等茂盛枝叶。全书共6章，第1章介绍无处不在的杨辉三角；

本书内容全面，系统性强，涵盖了国内工科研究生对矩阵论的几乎全部知识点，并在教学结构上进行了创新的优化和调整。本书包含五章内容。第一章为对线性代数知识的回顾，第二章介绍线性空间的定义、赋范线性空间、内积空间；第三章介绍线性变换；第四章介绍若当标准型及详细的矩阵分析及矩阵函数等内容；第五章介绍矩阵分解、广义逆、Kronec

本书系统深入地阐述了矩阵结构和矩阵函数的公理化体系，并给出基于此公理体系进行形式化分析与验证的应用。主要内容包括：矩阵结构的形式化；矩阵序列与矩阵级数理论的形式化；矩阵函数微分的形式化；矩阵理论的自动化定理证明；矩阵理论公理化系统在信息或物理系统形式化建模验证中的应用。

本书是为天津市大学生数学竞赛(经管类)编写的辅导教材，依托历届天津市大学生数学竞赛(经管类)考试真题，在对真题深度剖析的基础上，归纳总结了数学竞赛中的经典题型和思维方法。全书共分七个部分：极限、一元函数微分学、一元函数积分学、多元函数微分学、多元函数积分学、综合问题、拓展内容。全部例题都附有详细的分析和解题过程，最重要

本书是根据教育部高等学校大学数学课程教学指导委员会制定的非数学专业“高等数学”课程教学基本要求,参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求,并结合了作者的“高等数学”慕课,精心制作完成的数字化新媒体教材,读者可以扫描二维码学习相关资源。《BR》本书层次清晰,结构严谨,内容充

本书是根据教育部卨等学校大学数学课程教学指导委员会制定的非数学专业“髙等数学”课稈教学基本要求，参考了全国大学生数学竞赛非数学类竞赛大纲和全国硕士研究生入学考试数学考试大纲的内容和要求，并结合了作者的“卨等数学”慕课，精心制作完成的数字化新形态教材，读者可以扫描二维码学习相关资源。《BR》本书层次清晰，结构严谨，内容充