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