本书是在国家精品课程、国家精品资源共享课程和国家级一流本科课程“离散数学”的基础上，结合卓越工程师教育培养计划和新工科建设编写而成的。全书共10章，系统介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例，充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。

图像信号本质上可以看作是关于一组基向量的稀疏表示，而稀疏表示是获得、表示和压缩图像信号的一种强有力的工具。从稀疏约束的角度来划分，可以将稀疏表示分为五类，分别为（1）基于最小化L0范数的稀疏表示，（2）基于最小化Lp（0＜p＜1）范数的稀疏表示，（3）基于最小化L1范数的稀疏表示，（4）基于最小化L2,1范数的稀疏表示，也交组稀疏表示和5）基于最小化L2范数的稀疏表示。在本书中，全面分析了每一种稀疏表示形式的目标函数和优化算法，并综合分析了最新的基于稀疏表示理论的应用。本书可以作为研究稀疏表示和

《线性代数》根据工科类本科“线性代数”课程教学基本要求，参考同济大学“线性代数”课程及教材建设的经验和成果，按照硕士研究生考研大纲的要求编写而成．编者在内容编排、概念叙述、定理证明等诸多方面都做了精心安排，以使全书结构流畅，主次分明，通俗易懂． 本书共分五章，包括线性方程组与矩阵、方阵的行列式、向量空间与线性方程组解的结构、相似矩阵及二次型、线性空间与线性变换．每小节配有习题，每章末配有拓展阅读和测试题，拓展阅读用于讲解线性代数发展的相关知识；测试题难度高于习题难度，用于学生加强练习，部分习题