本书架构上分为函数极限、微分方程、多元微分学，多元函数积分、级数4个部分，章节设计由浅入深逐步递进。在微分方程部分，包括微分方程的求解及应用。多元微分学部分，包括多元函数的概念、求导方法、多元函数偏导数的意义。多元函数积分学部分，包括重积分、二重积分和三重积分、曲线积分和曲面积分。级数部分，包括级数内容。教材每节后均配

本书内容包括：极限与连续、导数与微分、导数的应用、一元函数积分学及多元函数微积分学。在每一模块中均编有应用与实践内容，其中包括高等数学在物理、机械、经济、电工电子、信息技术等方面的应用和数学软件MATLAB的使用。每节配有习题，并将习题答案附于书后。 本书可供高职院校工科类和经济管理类专业的学生作为教材或学习参考

《高等代数问题求解的多向思维》是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。《高等代数问题求解的多向思维》精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题，给出多种证法或解法，反映高等代数各类知识点之间的有机联系，注

图像信号本质上可以看作是关于一组基向量的稀疏表示，而稀疏表示是获得、表示和压缩图像信号的一种强有力的工具。从稀疏约束的角度来划分，可以将稀疏表示分为五类，分别为（1）基于最小化L0范数的稀疏表示，（2）基于最小化Lp（0＜p＜1）范数的稀疏表示，（3）基于最小化L1范数的稀疏表示，（4）基于最小化L2,1范数的稀疏表示

＜＜不用怕--大老李带你玩数学＞＞是一本面向各年龄层次数学爱好者、以及自认为"数学不好的人”的一本科普书。本书的创作宗旨在于选择有趣且不太为人熟知的数学问题，从有意思的角度切入讲解问题，力求以最浅显和生动的语言，将较为高深的数学知识介绍给读者，使读者不但能理解这些问题，更能获得思路继续研究和赏玩，从而获得更多乐趣。让读

如何描述一群人和另外一群人的距离呢？知音与朋友的数学差异是什么？足球比赛的冷门不断会刻意突出其怎样的运动本质？基于大数据的客观世界真的会与数学形成对立吗？我们经常说的"度"的数学内涵是什么？为什么会产生约等式逻辑？你能证明人单腿站立不稳当吗？多米诺效应隐藏着人们什么样的虚假比喻？围棋完美化的数学途径是什么？为什么大众更

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其

本书是重庆大学“高等数学”课程教材体系改革试点工作的配套讲义。在学校领导、教务处及院系领导的长期大力支持下，试点工作进行了二十多年。参加试点教学的学生主要来自物理、力学及计算机专业。参加试点教学的教师同时也进行传统“高等数学”的教学工作。两种教材的教学中使用本讲义的学生对教学的评价一般都要高于使用传统“高等数学”教材的

空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。空间解析几何，二元函数微分学、积分学，无穷级数，微分方程，MATLAB在微分中的应用。

本书共分三卷,本卷为第二卷.第一卷的内容主要有:实数基本理论;一元微积分学,包括极限、连续、级数、微分、复数、积分等.在此基础上,本卷主要介绍拓扑空间(特别是度量空间、欧氏空间)及映射的极限与连续的映射(包括压缩映像原理);多变量函数微分学;重积分;流形及微分形式;流形(特别是曲线与曲面)上微分形式的积分;向量分析与场