本书是全国高等学校计算机教育研究会十四五规划教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程的重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题形式化自动化（计算机化）等方法，为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基

本书为科学出版社出版的《线性代数（第三版）》（李福乐主编）的配套用书，是编者多年教学经验的总结.本书每章内容包括主要内容、基本要求、典型方法举例、课后习题详解、考研真题选解.其中，主要内容列出了各章的基本概念和常用的重要结论；基本要求指出了各章中每一部分内容应该掌握到什么程度，便于读者在复习时能合理分配力量；典型方法举

本书介绍了实际工作所需要的行列式、矩阵、线性方程组、随机事件及其概率、随机变量及其数字特征、几种重要的概率分布。本着“打好基础，够用为度”的原则，本书去掉了对于实际工作并不急需的某些内容与某些定理的严格证明，而用较多篇幅详细讲述那些急需的内容，讲得流畅，讲得透彻，实现“在战术上以多胜少”的策略。在内容编排上，本书做到了

"本书依据非数学类专业线性代数课程的教学基本要求和教学大纲，并参照近年来线性代数课程及教材建设的经验和成果编写完成。在概念的引入以及方法的应用上注重“追本溯源、探新求实”，培养学生的创新思维和实践能力。线上资源主要包括应用案例、章节总结、习题讲解等微课视频，以及拓展阅读、章节测试等。全书结构主次分明，语言表述通俗易懂，

"本书是为数据科学与大数据技术专业编写的高等代数课程教材，主要内容由三部分组成：第一章至第七章是线性代数基础部分，包括矩阵、线性方程组、线性空间、线性映射、内积空间、特征值与特征向量和二次型等；第八章是矩阵分析选题，这部分可依据实际情况作为选讲内容；第九章是一元多项式理论初步。全书注重基本理论和方法的应用，突出了在数据

本教材为“十二五”普通高等教育本科***规划教材和“十三五”江苏省高等学校重点教材,本教材第二版获首届全国教材建设奖全国优秀教材二等奖.内容包括矩阵、n维向量、线性方程组、矩阵的特征值和特征向量、二次型.本教材不仅力求内容的科学性与系统性,而且注重代数概念的几何背景以及实际应用背景的介绍,以利于读者更好地理解和掌握线性

本书是陈难先院士对于其科研生涯中主要的贡献——默比乌斯反演的应用的总结。但本书并没有局限于纯粹学术专著的风格，而是尽量写得通俗易懂，以激发读者对于这一美妙方法的兴趣。 20世纪80年代，人类进入信息时代，科学技术中的各种逆问题蓬勃兴起。作者运用默比乌斯反演方法使问题的解出现了新的面貌。在Nature杂志引发了整版评论。

本书是编者根据多年讲授离散数学课程的教学实践,为适应计算机科学与技术发展的需要,并参考国内外同类教材而编写,目的在于通过讲授离散数学中的基本概念、基本定理和运算及其在计算机科学与技术学科中的应用,培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力。本书力求概念阐述严谨,证明推演详尽,较难理解

有限群理论是研究对称性的重要数学基础，在理论物理、量子化学、晶体学、计算机编码、量子通信、信息加密等领域有重要应用。本书介绍了作者在有限群构造领域的主要研究成果。为了便于读者阅读，本书详细介绍了有限群论的基本概念、基本定理及其证明，内容是自封的。主要内容为：群的基本知识，群的作用，有限幂零群与超可解群，阶为p2q2，p

"本书内容兼具传统性和现代性，教学可读性和实践性强。全书共分8章，内容包括：矩阵及其运算、行列式、线性方程组解的判定及其求解、n维向量与向量组的线性相关性、线性方程组解的性质和解的结构、矩阵的特征值和相似对角化、二次型、线性空间与线性变换。每章都配备了相应的应用实例和MATLAB软件计算方法，各节按难易度配备了阶梯式习