內容簡介
離散數學又稱離散結構,是研究離散對象的模型、性質及操作的一門學科,是現代數學的一個重要分支,是計算機學科和新一代信息技術的理論基礎和工具。本書依據ACM和IEEE-CS發布的CC2020教程,以及教育部高等學校計算機科學與技術教學指導委員會制定的計算機科學與技術專業規範,著力使內容和知識體系的設計達到理論與實際結合、抽象與直觀統一、局部與整體協調。全書共9章,主要內容包括集合、關係、函數、命題邏輯、謂詞邏輯、半群和群、環和域、格和布爾代數、圖、樹等。本書從計算機科學、密碼學、通信等領域提取了大量由淺入深的案例,幫助讀者掌握離散數學的概念和方法,通過實際問題的建模、分析和求解,幫助讀者領會離散數學在計算機科學等領域的應用,同時引領讀者探索離散數學的新應用。 本書體系嚴謹,結構新穎,內容翔實,可作為高等院校計算機及相關專業本科生、研究生「離散數學」課程的教材,也可作為從事計算機及相關領域研究和應用開發人員的參考用書。目錄
第1篇 集合論