线性代数是研究矩阵和向量空间的一门数学分支。随着科学技术的发展，线性代数在自然科学、社会科学、运筹学、经济和管理、工程技术等多个领域都有广泛的应用，因此线性代数已经成为高等院校理、工、经管类各专业的一门重要公共基础课程。本书是根据教育部高等学校数学类专业教学指导委员会制定的线性代数课程教学基本要求，同时参考了教育部最新

本教材根据全国高等学校工科数学课程教学指导委员会制定的“线性代数”课程基本要求，结合编者自身的教学体会，在前期实践教学的基础上整理而成。全书共7章，包括：行列式、矩阵、线性方程组、向量组的线性相关性、矩阵对角化、二次型、线性空间和线性变换。本教材内容经典、体系完备、结构合理、重点难点叙述详尽、通俗易懂，特别是在习题的选

本书共分6章，内容包括：行列式、矩阵、矩阵的初等变换与线性方程组、n维向量及向量空间、相似矩阵及对角化、二次型。每章各节都有习题、本章小结和总习题，书末附有习题参考答案。

数里有形——突破代数综合问题

本书系统地介绍了图论算法理论，并选取经典的ACM/ICPC题目为例题阐述图论算法思想，侧重于图论算法的程序实现及应用。本书第1章介绍图的基本概念和图的两种存储表示方法：邻接矩阵和邻接表。第2～9章分别讨论图的遍历与活动网络问题，树与图的生成树，最短路径问题，可行遍性问题，网络流问题，支配集、覆盖集、独立集与匹配，图的连

离散数学课程是一门重要的专业基础课，在计算机类专业教学体系中起着重要的基础理论支撑作用。本书对计算机类专业在本科阶段最需要学习的离散数学基础知识做了系统地介绍，力求概念清晰，注重实际应用。全书共分七章，内容包括命题逻辑、谓词逻辑、集合、关系、图、树和代数结构，并含有较多的与计算机类专业有关的例题和习题。 本书叙述简洁

空时分组码是无线通信系统中通过发射分集极大提升系统性能的一种编码。《空时分组码识别理论与技术》是一本系统介绍空时分组码识别理论和关键技术的专著，涉及的编码包括STBC、STBC-OFDM和SFBC-OFDM信号，不同程度地介绍了编码的正交性识别、调制识别和类型识别等内容，涵盖了目前空时分组码识别领域的大多数算法，能够帮

本书是《离散数学(第六版)》(耿素云、屈婉玲、张立昂编著，清华大学出版社出版)一书的配套题解。全书包括数理逻辑、集合论、图论、组合分析初步、代数结构以及形式语言与自动机初步6部分。每部分均包含内容提要、与本部分配套的习题、习题解答3方面内容。对每道题都做了较详细的解答与分析，对某些题还给出了不同的解法或指出容易犯的错误

本书是在国家精品课程、国家精品资源共享课程和国家级一流本科课程“离散数学”的基础上，结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章，系统介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学

本书是计算机类教学指导委员会推荐的系统能力培养教材之一。本书《离散数学及其应用—Python建模与实现》系统介绍了数理逻辑、集合论、图论和代数系统，以计算为认知模型，重点给出概念、运算及关系的计算表示，并用计算验证性质与定理。以逻辑为认知模型，给出概念、运算及关系的逻辑表示，并证明性质与定理。即注重概念、运算及关系的理