本书从系统模型构建与算法设计相结合的角度，阐述系统建模的基本原理和方法，介绍了主要的应用数学模型及其算法设计的基本方法等。

　　《离散数学（第2版）》力求叙述严谨，推演严密，逻辑清晰，深入浅出，做到概念与实例密切结合，学生通过本课程的学习将得到严格的逻辑推理与抽象思维能力的训练。

本书通过改革和创新，用集合和映射将传统的“实变函数论”、“测度论”和“泛函分析”三门课融合为一门新的“现代分析”基础教程。

《高等数学（第五版 上册）》是根据编者多年的教学实践，按照新形势下教材改革的精神，并结合《高等数学课程教学基本要求》在第四版的基础上修订而成的。这次修订更好地与中学数学教学相衔接，适当引用了一些数学记号和逻辑符号，增加了应用性例题和习题，对一些内容作了适当的精简和合并，修改较多的部分涉及函数、极限及向量代数等内容。
　　《高等数学（第五版 上册）》内容为函数与极限、导数与微分、中值定理与导数的应用、不定积分、定积分、定积分的应用、空间解析几何与向量代数等七章，书末还附有二、三阶行列

　　《高等数学（第五版 下册）》是根据编者多年的教学实践，按照新形势下教材改革的精神，并结合《高等数学课程教学基本要求》在第四版的基础上修订而成的。这次修订更好地与中学数学教学相衔接，适当引用了一些数学记号和逻辑符号，增加了应用性例题和习题，对一些内容作了适当的精简和合并。使内容和系统更加完整，也更便于教学。
　　《高等数学（第五版 下册）》内容为多元函数微分法及其应用、重积分、曲线积分与曲面积分、无穷级数、微分方程五章。书末附有习题答案与提示。
　　《高等数学（第五版 下册）》仍保

《教育部高职高专规划教材：离散数学16K》是教育部高职高专规划教材，是根据高职高专教育的特点，充分汲取高职、高专和成人高等学校在探索培养技术应用性专门人才方面取得的成功经验和教学成果编写而成的。 全书分为六章，其内容包括集合与关系、命题逻辑、谓词逻辑、图论、代数结构、布尔代数。《教育部高职高专规划教材：离散数学16K》内容精练，论述深入浅出，条理清楚，重点突出，可读性强。各章节配有适量习题，书末附有参考答案。 本书可作为高等职业学校、高等专科学校、成人高校及本科院校举办的二级职业技术学院和民办高

　　《简明线性代数》2004年被评为“北京高等教育精品教材”。《简明线性代数》是高等学校数学基础课“线性代数”课程的教材。全书共分九章。内容包括：线性方程组，行列式，n元有序数组的向量空间，矩阵的运算，矩阵的相抵与相似，二次型与矩阵的合同，线性空间，线性映射，欧几里得空间和酉空间。《简明线性代数》按节配置适量习题，书末附有习题答案与提示，供教师和学生参考。
　　《简明线性代数》既科学地阐述了线性代数的基本内容，又深入浅出、简明易懂。《简明线性代数》精选了线性代数的内容，由具体到抽象地

本教材共有4章，包括：“Banach空间”、“线性算子与线性泛函”、“谱论初步”、“非线性算子”。

数理逻辑与集合论是离散数学的主要组成部分，是计算机科学的数学基础。
《清华大学计算机系列教材：数理逻辑与集合论（第2版）》共12章，前8章介绍数理逻辑，包括命题和谓词逻辑的基本概念、等值和推理演算、公理系统、模型论和证明论，后4章介绍集合论，包括集合、关系、函数、实数集与基数。
《清华大学计算机系列教材：数理逻辑与集合论（第2版）》可作为大学离散数学的教科书，也可供从事计算机科学、人工智能等方面的科技人员参考。