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