本書共7章，內(nèi)容包括命題邏輯、謂詞邏輯、集合與關(guān)系、函數(shù)、圖論、樹及其應(yīng)用、代數(shù)結(jié)構(gòu)，詳盡介紹了離散數(shù)學(xué)的概念、定義與運用實例，主要研究計算機科學(xué)中所用到的離散量的數(shù)學(xué)課題。全書對這些內(nèi)容進(jìn)行比較系統(tǒng)、全面地論述。通過本書的學(xué)習(xí)，一方面，幫助學(xué)生掌握進(jìn)行計算機科學(xué)研究與應(yīng)用，所必需的處理離散量的數(shù)學(xué)工具，掌握常用的問題及相應(yīng)的解決方法；另一方面，旨在培養(yǎng)學(xué)生的數(shù)學(xué)思維能力，發(fā)現(xiàn)問題、分析問題和解決問題的能力，提高抽象思維和嚴(yán)格的邏輯推理能力，為后續(xù)課程的學(xué)習(xí)創(chuàng)造條件。