本書是北京大學(xué)離散數(shù)學(xué)與結(jié)構(gòu)(圖靈班)課程的配套教材，是作者多年來從事離散數(shù)學(xué)教學(xué)工作的結(jié)晶。本書內(nèi)容豐富，重視形式化、公理化，包括了公理集合論、數(shù)理邏輯、代數(shù)結(jié)構(gòu)、圖論、離散概率等內(nèi)容；詳略得當(dāng)，貼合實際，對學(xué)生在前置課程中已經(jīng)學(xué)過的內(nèi)容進行了壓縮，補充了過去教學(xué)中略去的證明，增加了比較深入的話題。其敘述節(jié)奏和風(fēng)格充分考慮學(xué)生常遇到的困惑和難點，通過證明前先敘述定理意義與應(yīng)用、證明思路，添加實例和圖解以及前后呼應(yīng)參照的方式，以期文本易讀易懂。本書強調(diào)問題求解，在合適的時機講解多種技巧和方法，并整理選編了教學(xué)過程中使用的各類習(xí)題；除了比較經(jīng)典的習(xí)題之外，還添加了具有前沿背景的問題，同時鼓勵學(xué)生使用計算機工具輔助求解。力圖使讀者能夠?qū)﹄x散數(shù)學(xué)的主要方法和思想有所體會，為從事計算機科學(xué)的相關(guān)研究打下扎實的數(shù)學(xué)基礎(chǔ)。