"《離散數(shù)學》根據(jù)作者多年從事離散數(shù)學教學和實踐經驗編寫而成，系統(tǒng)地闡述了離散數(shù)學的經典內容，從離散結構的形式化表示，到各類離散結構及其數(shù)學模型的描述出發(fā)，講解有關集合、數(shù)理邏輯、圖論以及代數(shù)系統(tǒng)的基本概念、定理、證明方法以及相關算法，逐步建立離散化、公理化和系統(tǒng)化的計算機專業(yè)意識，并通過緊密聯(lián)系計算機學科的的應用實例，展示離散數(shù)學理論在軟件工程和計算機科學與技術中的基礎作用和強大應用，特別強調計算思維和理論應用能力的培養(yǎng)。全書共11章，包括集合、關系、函數(shù)、命題邏輯、謂詞邏輯、圖和樹，以及代數(shù)系統(tǒng)等內容。
本書邏輯結構嚴謹，內容聯(lián)系緊密，邏輯清晰，通俗易懂，與軟件工程和計算機科學與技術的理論和實踐密切結合，便于自學。
本書可作為高等院校軟件工程、計算機科學與技術及相關專業(yè)，特別是人工智能和大數(shù)據(jù)為核心的新工科專業(yè)的離散數(shù)學課程教材，也可供從事相關專業(yè)的學生和科技人員參考。"