離散數學是研究離散量的結構和相互間關繫的學科,是計算機、軟件工程等專業的理論基礎。
本書依據教育部計算機科學與技術教學指導委員會編制的《高等學校計算機科學與技術專業規範》和《高等學校計算機科學與技術專業核心課程教學實施方案》進行編寫,簡要介紹離散數學的集合論、抽像代數、圖論和數理邏輯4個部分,主要包括集合及其運算,關繫,函數,代數繫統,群、環和域,格和布爾代數,圖與樹,特殊圖,命題邏輯,謂詞邏輯共10章,“整數的整除與同餘”一章作為預備知識供學習集合論和代數繫統部分時參考。 由於教材以集合論開頭,便於學生學習時循序漸進,同時由於教材內容簡明扼要,例題和習題多且包含一些實際應用問題,從而可以調動學生的學習積極性,培養學生的數學思維和解決實際問題的能力,為後續專業課程的學習奠定良好的基礎。
本書可作為高等院校計算機、軟件工程及相關專業本科生“離散數學”課程的教材,也可等