"本書將離散數(shù)學分為數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論四部分，系統(tǒng)地介紹了命題邏輯、謂詞邏輯、集合、關(guān)系、函數(shù)、代數(shù)結(jié)構(gòu)、格與布爾代數(shù)、圖、特殊圖中有關(guān)的定義、定理及證明方法，并給出了離散數(shù)學中不同知識點在計算機科學中的應用及上機實踐指導。本書配有課后習題參考答案及電子教案。 本書結(jié)構(gòu)嚴謹，邏輯清晰，示例豐富，可以作為高等學校計算機大類各專業(yè)“離散數(shù)學”必修課教材，也可以作為其他相關(guān)專業(yè)“離散數(shù)學”課程教材，還可以供從事計算機科學工作的科技人員及學生閱讀與參考。 "