本書系統介紹了離散數學的基礎定義、定理及性質等基礎知識,著重引導學生認識離散數學與電腦專業課程之間的密切關系。例題選擇在傳統經典題型基礎上盡可能靠近電腦專業所學內容。每章的算法思想描述盡可能讓學生更直觀地認識離散數學理論與電腦專業之間的聯系,從而理解電腦思維。
全書共分為四部分: 第一部分(第1~3章)為集合論,著重介紹了集合、關系和映射;第二部分(第4、5章)為數理邏輯,著重介紹了命題邏輯和謂詞邏輯;第三部分(第6~8章)為圖論,著重介紹了圖、歐拉圖和哈密爾頓圖、樹、二部圖和平面圖等特殊圖;第四部分(第9~11章)為代數系統,著重介紹了代數結構、環與域、格與布爾代數。每節後分級設計了課後習題,並附有題庫平臺,提供更多習題以及解答。
本書適合作為高等院校電腦相關專業本科生、大專生的教材或參考書,特別是作為離散數學教學改革探索者的教材或參考書。