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