本书以考研命题为依据，精心挑选和编制了1000道左右的练习题，题目由易到难，综合性强，利于考生复习过程中对知识点逐层加深理解。本书内容包括高等数学、线性代数、概率论与数理统计，依据考研复习阶段从基础到强化，再到冲刺的递进性，根据所考查内容将每个知识点的题目按照难易程度划分为强化训练和巩固提高两部分，通过大量的题目练习，

微积分课程是高等学校理工类专业的一门重要基础课.针对部分专业中微积分这门课程的学时较少，编者编写了本套微积分教材.本套书共分上下两册.上册包括函数、极限与连续，导数与微分，微分中值定理和导数的应用，不定积分和定积分.下册包括空间解析几何初步、多元函数微分法及其应用、二重积分和无穷级数.本书为下册.本书适合高等学校理工类

本书系统地介绍了图论算法理论，并选取经典的ACM/ICPC题目为例题阐述图论算法思想，侧重于图论算法的程序实现及应用。本书第1章介绍图的基本概念和图的两种存储表示方法：邻接矩阵和邻接表。第2～9章分别讨论图的遍历与活动网络问题，树与图的生成树，最短路径问题，可行遍性问题，网络流问题，支配集、覆盖集、独立集与匹配，图的连

测度论是研究一般集合上的测度和积分的理论，近年来在现代分析的应用中已显示出极大的潜力．作为测度论中的“圣经”，本书的主要目的是对测度论进行统一的介绍，内容有：集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑．

数里有形——突破代数综合问题

方圆同趣——突破圆的综合问题

牵线搭桥——突破几何综合问题

有迹可循——突破新定义问题

线性代数学习指导（普通高等学校应用型教材·数学）

本书利用交互式定理证明工具Coq,在朴素集合论的基础上,从Peano五条公设出发,完整实现Landau著名的《分析基础》中实数理论的形式化系统,包括对该专著中全部5个公设、73条定义和301个定理Coq描述,其中依次构造了自然数、分数、分割、实数和复数,并建立了Dedekind实数完备性定理,从而迅速且自然地给出数学分