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