離散數(shù)學(xué)是計算機(jī)專業(yè)課程的理論基礎(chǔ)，這些課程涵蓋從算法和自動機(jī)理論到組合學(xué)和圖論。本書結(jié)構(gòu)嚴(yán)謹(jǐn)，涵蓋計算機(jī)科學(xué)專業(yè)的學(xué)生必須學(xué)習(xí)的離散數(shù)學(xué)基礎(chǔ)，包括離散數(shù)學(xué)的基本概念、邏輯、有向圖和無向圖、自動機(jī)和正則語言、階的表示法和計數(shù)問題、離散概率，以及模運算和公鑰密碼學(xué)的內(nèi)容。本書通過問題討論對離散數(shù)學(xué)的分析證明方法進(jìn)行闡述，并通過豐富的應(yīng)用實例進(jìn)行分析。書中每章都有一個簡潔的小結(jié)和一組習(xí)題，指導(dǎo)學(xué)生快速掌握該章內(nèi)容。本書是本科課程的理想入門教材。