離散數學

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

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

本書適合作為高等院校計算機科學與技術、軟件工程等相關專業的教材。

郝曉燕，博士，副教授，碩士生導師。自1994年至今任職於太原理工大學信息與計算機學院，從事計算機科學與技術學科的教學工作及科研工作。主講課程：《工程經濟學》《離散數學》《數據結構》《面各對象程序設計C 》《數據庫系統原理》《自然語言處理》。研究方向：計算語言學，自然語言處理，人工智能。社會兼職：中國計算機學會會員。