本書是在國家精品課程、國家精品資源共享課程和國家級一流本科課程“離散數(shù)學(xué)”的基礎(chǔ)上，結(jié)合卓越工程師教育培養(yǎng)計劃和新工科建設(shè)編寫而成的。全書共10章，系統(tǒng)介紹了數(shù)理邏輯、集合與關(guān)系、圖論，以及代數(shù)系統(tǒng)與布爾代數(shù)中的基本概念、算法、定理及其證明方法。本書不僅注重基本概念的描述，還特別注重闡述有關(guān)離散數(shù)學(xué)的證明方法及離散數(shù)學(xué)問題求解的算法，并且舉出大量的應(yīng)用實例，充分展示了離散數(shù)學(xué)在軟件工程和計算機科學(xué)與技術(shù)中的基礎(chǔ)作用和強大應(yīng)用。