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