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