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

本书致力于适应普通本科高校的数学建模教学，力求做到内容简明扼要、浅显易懂，让学生既学到基本的建模方法，又有扩展学习的空间。本书采用了目前比较流行的Python语言进行数值实验。全书主要内容包括插值与拟合、微分方程、图与网络优化、线性规划、非线性规划、数据的统计描述、统计分析、综合评价方法等。本书还提供所有例题的Python程序代码，扫描每章后的二维码即可获得代码，即时运用Python语言进行数学建模实验的程序实现。

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

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

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

-

本书在“新工科”建设背景下，根据当前的教学实际需要，吸取近年来教学改革的成果，在第三版的基础上修订而成。全书分上、下两册出版。上册内容为极限与连续、一元函数微分学、一元函数积分学、微分方程；下册为向量代数与空间解析几何、多元函数微分学、重积分、曲线积分与曲面积分、无穷级数。书末附有部分习题答案与提示。 本版保持了原来的内容体系和结构，加强对微积分的基本概念、理论和方法的介绍，突出微积分的实际应用。本书继承同济大学高等数学教材编写的优良传统，逻辑严谨，语言平实，易教易学；注意与中学数学的衔

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

  全书分三册。册的内容是：一元微积分，初等微分方程及其应用；第二册的内容是：一元微积分的进一步讨论，多元微积分；第三册的内容是：曲线、曲面与微积分，级数与含参变元的积分等。
《数学分析新讲（重排本）第三册》版于1990年出版，作者于2002年去世。近30年一直是经典长销教材，每年有4000-5000册的销量。但由于出版时间过早，很多术语、符号的使用已经过时，甚至有些术语符号已经不符合现在的国标规定；且无法转CTP印刷。为了延续本套书的生命力，在与《数学分析新讲（