本書是在國(guó)家精品課程、國(guó)家精品資源共享課程和國(guó)家級(jí)一流本科課程“離散數(shù)學(xué)”的基礎(chǔ)上，結(jié)合卓越工程師教育培養(yǎng)計(jì)劃和新工科建設(shè)編寫而成的。全書共10章，系統(tǒng)介紹了數(shù)理邏輯、集合與關(guān)系、圖論，以及代數(shù)系統(tǒng)與布爾代數(shù)中的基本概念、算法、定理及其證明方法。本書不僅注重基本概念的描述，還特別注重闡述有關(guān)離散數(shù)學(xué)的證明方法及離散數(shù)學(xué)問題求解的算法，并且舉出大量的應(yīng)用實(shí)例，充分展示了離散數(shù)學(xué)在軟件工程和計(jì)算機(jī)科學(xué)與技術(shù)中的基礎(chǔ)作用和強(qiáng)大應(yīng)用。

圖像信號(hào)本質(zhì)上可以看作是關(guān)于一組基向量的稀疏表示，而稀疏表示是獲得、表示和壓縮圖像信號(hào)的一種強(qiáng)有力的工具。從稀疏約束的角度來劃分，可以將稀疏表示分為五類，分別為（1）基于最小化L0范數(shù)的稀疏表示，（2）基于最小化Lp（0＜p＜1）范數(shù)的稀疏表示，（3）基于最小化L1范數(shù)的稀疏表示，（4）基于最小化L2,1范數(shù)的稀疏表示，也交組稀疏表示和5）基于最小化L2范數(shù)的稀疏表示。在本書中，全面分析了每一種稀疏表示形式的目標(biāo)函數(shù)和優(yōu)化算法，并綜合分析了最新的基于稀疏表示理論的應(yīng)用。本書可以作為研究稀疏表示和

《線性代數(shù)》根據(jù)工科類本科“線性代數(shù)”課程教學(xué)基本要求，參考同濟(jì)大學(xué)“線性代數(shù)”課程及教材建設(shè)的經(jīng)驗(yàn)和成果，按照碩士研究生考研大綱的要求編寫而成．編者在內(nèi)容編排、概念敘述、定理證明等諸多方面都做了精心安排，以使全書結(jié)構(gòu)流暢，主次分明，通俗易懂． 本書共分五章，包括線性方程組與矩陣、方陣的行列式、向量空間與線性方程組解的結(jié)構(gòu)、相似矩陣及二次型、線性空間與線性變換．每小節(jié)配有習(xí)題，每章末配有拓展閱讀和測(cè)試題，拓展閱讀用于講解線性代數(shù)發(fā)展的相關(guān)知識(shí)；測(cè)試題難度高于習(xí)題難度，用于學(xué)生加強(qiáng)練習(xí)，部分習(xí)題