本书是作者十多年来面向本科生开设的“离散数学”课程的教学实践积累，同时借鉴了国内外相关课程的教学体系，系统介绍了数理逻辑（命题逻辑、谓词逻辑）、集合论（集合论初步、二元关系）、代数系统（代数系统一般性质、典型代数系统）和图论（图论基础、树），并介绍了组合分析基本知识。本书给出了大量的例题、习题，附录A提供了各章习题答案，有利于读者对相关知识的理解和掌握。
本书可以作为高等院校信息类及相关专业的高年级本科生教材，也可供对离散数学感兴趣的工程技术人员参考阅读。

本书是应用型高等院校计算机科学与技术、人工智能、数据挖掘、区块链等专业本科“离散数学”课程的教材，内容包括四部分： 第一部分数理逻辑（包括第1章命题逻辑和第2章谓词逻辑）、第二部分集合论初步（包括第3章集合代数、第4章二元关系和第5章函数）、第三部分代数结构（包括第6章代数结构和第7章格与布尔代数）、第四部分图论（包括第8章图论）.本书是作者结合自己三十多年的教学经验与积累，并参考国内外同类优秀教材编写而成的，它注重基本知识和方法的应用，剔除了一些非必要的理论推导.本书的特色是： 内容实用，叙述

本书针对本科离散数学课程的要点和关键问题，深入浅出地介绍了数理逻辑、集合论、图论、代数结构和布尔代数、网络模型、组合数学理论和算法等与计算机科学密切相关的问题，既着重于各部分内容之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，本书叙述严谨，推演详尽。各章配有习题，可为读者迅速掌握有关知识提供有效的帮助。

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

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

本书2011年入选“北京市精品教材”。此次改版主要是在在原书第二版基础上进行修订, 主要有1.适当补充一点内容以反映某些新成果; 2.修订原书中某些叙述不够严谨之处; 3.更正原书中的某些打印错误。

本书是高等院校本科生高年级《模糊数学》教材，书中系统介绍了模糊理论的基本内容，包括模糊集合的定义与运算、模糊算子、模糊性的度量、分解定理、表现定理、扩展原理、模糊数、模糊关系以及模糊关系方程等，同时也介绍了隶属函数的确定方法、模糊模式识别、模糊聚类分析、模糊综合评判等应用方面的内容. 每章配有习题，书末附有习题的部分答案. 本书可作为高等院校相关专业高年级本科生和研究生的教材，也可作为科研人员的参考书.

本书分为四部分，共9章。第壹部分为数理逻辑，主要包括命题逻辑、一阶逻辑及数理逻辑中的推理证明等内容。第二部分为集合论，主要包括集合、矩阵、关系和函数等内容。第三部分为图论，主要包括图的基本概念和矩阵表示、特殊图和树等内容。第四部分为代数系统，主要包括代数系统基础、格与布尔代数等内容。
本书内容丰富，层次分明，重点突出，并注重离散数学的实用性，可以为计算机专业学生提供重要的数学基础。本书可作为计算机专业本科生、大专生等的理论教学教材。

本书是编者在总结了多年教学经验和辽宁省一流课程建设成果的基础上，为了适应“金课”建设的要求，为了适应线性代数课程教学需要和深化课程思政教学改革的需要而编写的。主要内容包括行列式、矩阵及其运算、向量组的线性相关性、线性方程组、矩阵的相似及二次型化简、线性空间与线性变换六章，每章末有同步习题，适当穿插一些历年考研真题。书后附有线性代数模型在实际问题中的应用案例和各章习题参考答案。有助于提高学生学习兴趣，增强学生的习题运算能力。
全书体例严谨、脉络清晰、层次分明、结构完整、各类题型设计合理。

本书将数学实验与数学建模结合起来，侧重对学生数学建模能力及意识的培养，案例丰富，由浅入深，便于学生自学和教师教学.本着简明和实用的原则，书中的内容主要以中等难度的数学建模问题为主，目的在于降低数学建模的学习起点，使读者容易理解和应用.读者只要学过微积分、线性代数且了解简单的概率统计知识就可以学习本书.全书包括数学实验、数学建模基本模型和建模竞赛案例选讲3部分，共12章.数学实验部分介绍了MATLAB基础、微积分数学实验、线性代数实验、概率论与数理统计实验；数学建模基本模型部分介绍了初等模型、微分