《线性代数辅导精讲》按照考研数学大纲的要求,以历年考研数学真题中的典型题目及分析详解为主线,内容包含典型方法的归类总结、重要和常用技巧的运用、考生易错点的提示、重点题型的考研预测等.相比其他考研数学辅导图书有以下特色：(1)紧扣大纲要求,精选历年考研真题,分模块分阶段地指导考生科学备考;(2)精心设计本书模块和栏目,辅

本书是根据教育部颁发的“工科类本科数学基础课程教学基本要求”编写的。全书内容包括：行列式、矩阵、线性方程组与向量组的线性相关性、相似矩阵与二次型、线性空间与线性变换、数学软件Matlab简介与上机实验，书末附有常用“线性代数”英文专业词汇及部分习题参考答案与提示。本书可作为高等工科院校工学、经济学、管理学各专业教材或教

本书内容包括行列式的计算方法、矩阵、线性方程组、向量空间、相似矩阵与矩阵的对角化以及二次型。全书涵盖了最新的全国硕士研究生人学考试大纲中有关线性代数部分的相关内容及相应的历年全国硕士研究生入学考试试题，每章后均配有检测题，并在书后附有答案与提示。

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

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

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

这本教材覆盖了许多不同的数学领域。这本书包括以下内容：平面几何与立体几何的基本知识；极限展开以及它在几何中的应用；有限样本空间中的概率的基本知识；以及对集合论和逻辑的初步介绍。尽管这些内容是相对独立的，本书可以帮助读者看到并理解不同数学领域之间的联系。每章的开头部分，有关于学习本章所需的预备知识的描述。

本书内容包括：常微分方程、线性代数、概率论与数理统计、线性规划、数学建模概述。在每一模块中均编有应用与实践内容，其中包括高等数学在物理、机械、经济、电工电子、信息技术等方面的应用和数学软件MATLAB的使用。每节配有习题，并将习题答案附于书后。 本书可供高职院校工科类和经济管理类专业的学生作为教材或学习参考书使用

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

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