本书介绍了矩阵的基本理论、方法及其应用。上篇为基础篇，包括线性空间与线性算子，内积空间与等积变換，标准形，矩阵分解，矩阵范数等。下篇为应用篇，包括矩阵微积分，广义逆，几类特殊矩阵与特殊积等。第1章 矩阵的几何理论，10万字；第2章 入-矩阵与若尔当标准形，6万字；笫3章 矩阵的分解，6万字；第4章 线性赋范空间，6万字；第5章 矩阵微积分及其应用，6万字；笫6章 广义逆矩阵及其应用，6万字；第7章 几类特殊矩阵与特殊积，5万字；第8章 矩阵在数学内外的应用，5万字；附录 5万字。

离散数学在信息技术领域有着广泛的应用，是计算机类相关专业必备的基础知识，也是计算机类及其他信息类相关专业的一门重要基础课程。离散数学研究的对象是离散数量关系和离散结构的数学模型，包含集合理论、数理逻辑、图论、代数系统和计算理论。这些概念、理论以及方法广泛地应用在数字电路、编译原理、数据结构、操作系统、数据库系统、算法的分析与设计、人工智能、计算机网络、密码学等专业课程中。该课程所提供的训练有助于提高学生概括抽象能力、逻辑思维能力、归纳构造能力，有益于学生严谨、完整、规范的科学态度的培养，实践环节

本书是北京高等教育精品教材。内容主要包括数理逻辑、集合论、图论、组合分析初步、代数结构及形式语言和自动机初步6方面的内容。书中概念论述清楚，内容丰富，通俗易懂，并且着重于概念的应用，而不着重于定理的证明。每章后均附有习题，建议学时为54～72。
本书可以作为计算机及信息管理等相关专业本科生的教材，也可以供从事计算机软件、硬件开发和应用的人员使用。另有配套教材《离散数学题解（第六版）》。

本书主要研究数学分析中的微分与积分及相关的一些问题。内容包括一元函数微分学、一元函数微分法的应用、一元函数积分学和多元函数及其微分学等。本书在内容的安排上，深入浅出，表达清楚，可读性和系统性强。书中主要通过一些疑难解析和大量的典型例题来解析数学分析的内容和解题方法，并提供了一定数量的进阶练习题，便于教师在习题课中使用，也有利于学生在学习数学分析时练习提高。

本书是哈尔滨工业大学编写的大学数学系列教材中的一本，系列教材包括《工科数学分析（第六版）（上、下册）》《线性代数与空间解析几何（第五版）》《概率论与数理统计（第三版）》，共4本。 本书将线性代数与空间解析几何这两部分内容按其自身的内在联系合理地结合起来，使它们相互支持，前后呼应，成为一体。内容包括n阶行列式、矩阵、几何向量、n维向量、线性方程组、特征值、特征向量及相似矩阵、线性空间与线性变换、二次型与二次曲面。 本书层次清晰，论证简洁，可读性强。可作为高等学校理工科非数学类各专业相应课程的教材或

本书共10章，章至第五章为部分，系统讲述了三维欧氏空间中曲线、曲面的局部几何理论和曲面的内蕴几何学，这部分内容可作为数学类专业本科生微分几何必修课教材；第六章至第十章为第二部分，介绍有关曲面整体理论的一些基本结果，是整体微分几何一些经典问题选讲，它涉及数学的其他领域，可作为高年级本科生或研究生的专业课教材、参考书或课外阅读材料。本次修订改正了原书的一些错误，根据微分几何的进展更新了相关内容，作为拓展内容增加了部分例题和习题等。

画法几何是研究在平面上用投影法，由图形表示空间几何形体和运用几何作图来解决空间几何问题的理论和方法的一门学科。画法几何是工程制图的投影理论基础，它应用投影的方法研究多面正投影图、轴测图、透视图和标高投影图的绘制原理，其中多面正投影图是主要研究内容。画法几何的内容还包含投影变换、截交线、相贯线和展开图等。画法几何具体的教学项目如下： 项目一、制图的基本知识 项目二、投影概述 项目三、点的投影 项目四、直线的投影 项目五、平面的投影 项目六、基本形体的投影 项目七、组合形体的投影 项目八、轴测图 项

《空间解析几何简明教程》是为大学本科（非数学专业）学生编写的空间解析几何教材，全书共分三章，主要内容有向量代数、平面与空间直线、曲面和曲线。该书难易适度，重点突出，易于理解，便于教与学。书中带*的部分为选学内容。
　　《空间解析几何简明教程》可作为大学（非数学专业）本科生的解析几何教材，也可作为有不同教学要求的其他专业的教材或参考书。

全国大学生数学建模竞赛一直受到广大同学的热烈欢迎，越来越多的学生加入了竞赛的行列。数学建模竞赛有利于培养学生解决实际问题的能力、创新意识及合作精神，有力地促进了高等学校的教学改革，已经发展成为国内规模和影响力的大学生学科性竞赛活动之一。本书收集了竞赛章程和规则、1992年以来竞赛组织的相关文件，选编了领导和专家的讲话，汇编了2011-2020年的赛题、参赛与获奖情况及参赛学生体会等。这些资料可以更好地帮助读者了解我国大学生数学建模竞赛30年来的发展历程。 本书可供组织和参加数学建

本书首先简要介绍了数理逻辑的发展、形式系统及一些预备知识，然后介绍了集合论，详细讲解了命题演算、谓词演算、可计算性理论和哥德尔不完全性定理，最后介绍了模型论的基础知识和方法。全书重点突出，论证详细，各部分内容配有典型的例子和习题，以便读者更好地理解、掌握相关知识。