本教材力求兼顧理論教學(xué)與軟件工程專業(yè)教學(xué), 構(gòu)思以課程自身內(nèi)容為載體的應(yīng)用及實(shí)踐, 鏈接軟件工程后續(xù)課程。內(nèi)容覆蓋集合論 (集合、關(guān)系、函數(shù))、數(shù)理邏輯基礎(chǔ) (命題邏輯、謂詞邏輯、自然推理系統(tǒng))、圖論基礎(chǔ)、抽象代數(shù) (群、環(huán)、域、格)。實(shí)踐環(huán)節(jié), 以某種程序設(shè)計(jì)語言為載體 (Python、Haskell或Racket), 以離散數(shù)學(xué)問題 (集合論、數(shù)理邏輯、圖論、抽象代數(shù)) 為對象, 實(shí)踐問題建模、求解、函數(shù)式編程, 并選取來自于離散數(shù)學(xué)課程內(nèi)容的案例, 引導(dǎo)學(xué)生進(jìn)行一定難度的軟件開發(fā)實(shí)踐。