本書共6章，分為3部分。第1部分是數(shù)理邏輯，包括第1章命題邏輯和第2章一階邏輯。第2部分是集合論，包括第3章集合代數(shù)、第4章二元關(guān)系和第5章函數(shù)。第3部分是第6章圖論。每章均包含豐富的習(xí)題及部分習(xí)題的參考答案，針對重要的知識(shí)點(diǎn)設(shè)計(jì)了線上參考資源，包括教學(xué)課件和交互式可視化教學(xué)軟件，讀者可下載。