本書面向“新工科”建設(shè)背景下普通高等學(xué)校的計(jì)算機(jī)類和軟件工程專業(yè)類的本科生，以培養(yǎng)學(xué)生離散建�；�礎(chǔ)能力為目標(biāo)，論述邏輯、證明、集合、函數(shù)、關(guān)系、算法、整數(shù)與同余、組合計(jì)數(shù)、圖論以及代數(shù)系統(tǒng)相關(guān)基礎(chǔ)知識(shí)，覆蓋Computer Science Curricula 2013離散結(jié)構(gòu)知識(shí)體的所有知識(shí)單元。與傳統(tǒng)離散數(shù)學(xué)教材相比，