郝曉燕

離散數學是電腦相關專業的主幹課程之一。本書將理論緊密聯繫實際，摒棄了一些煩瑣的定理證明，從工程實際出發，引入工程案例和解決方案，注重提升學生的應用模擬解題技巧，力求做到脈絡清晰，重點突出，精講多練，實用有效，從而培養學生的抽象思維和縝密概括能力。

本書內容包括離散數學4大分支的基礎理論——數理邏輯、集合論、代數系統和圖論。全書共9章，依次為命題邏輯、謂詞邏輯、集合、關係、函數、代數結構、格與布林代數、圖論及其應用、樹。全書包含較多的與電腦科學和工程有關的例題和習題。

本書適合作為高等院校電腦科學與技術、軟體工程等相關專業的教材。