離散數學是電腦相關專業的主幹課程之一。本書將理論緊密聯繫實際,摒棄了一些煩瑣的定理證明,從工程實際出發,引入工程案例和解決方案,注重提升學生的應用模擬解題技巧,力求做到脈絡清晰,重點突出,精講多練,實用有效,從而培養學生的抽象思維和縝密概括能力。
本書內容包括離散數學4大分支的基礎理論——數理邏輯、集合論、代數系統和圖論。全書共9章,依次為命題邏輯、謂詞邏輯、集合、關係、函數、代數結構、格與布林代數、圖論及其應用、樹。全書包含較多的與電腦科學和工程有關的例題和習題。
本書適合作為高等院校電腦科學與技術、軟體工程等相關專業的教材。