內容簡介

全書共12章，內容包含證明技巧、數理邏輯、集合與關繫、函數、組合計數、圖和樹、初等數論、離散概率、代數繫統等。本書體繫嚴謹，文字精練，內容翔實，例題豐富，注重與計算機科學技術的實際問題相結合，並選配了大量難度適當的習題，適合教學。