王義和

《高等學校十二五規劃教材·計算機軟件工程系列：離散數學》內容包括四部分：集合論、圖論、近世代數和數理邏輯，共13章。第一部分集合論，包括集合及其運算、映射、關系、無窮集合及其基數；第二部分圖論，包括圖的基本概念、樹、平面圖和圖的著色、有向圖；第三部分近世代數，包括群、環與域、格與布爾代數；第四部分數理邏輯，包括命題邏輯和謂詞邏輯。每節後都配有習題。 本書可作為普通高等學校軟件工程、計算機等相關專

本書內容包括三部分：集合論、圖論、近世代數。全書共分十五章，討論了集合及其運算、映射、關係、無窮集合及其基數、模糊集合論、圖的基本概念、樹和割集、連通度和匹配、平面圖和圖的著色、有向圖、半群和?半群、群、環和域、格、布爾代數。每節后配有難度不同的習題。 本書可用作高等學校計算機科學與技術/工程等專業的教材，也可供有關專業的科技人員參考。

本書是國家級一流本科課程“集合論與圖論”的指定教材。“集合論與圖論”課程不僅對計算機專業，對所有信息類專業（如通信工程、電子工程、自動控制等）甚至經濟學等專業都具有重要意義，是計算機與電子通信專業集群的一門重要專業基礎課，它為後繼課及將來的科學研究提供必要的數學工具，為描述離散模型提供數學語言，幫助讀者正確地理解概念、使用概念進行推理，培養讀者抽象思維和邏輯推理的能力、理解理論與實踐關係，引導讀者分析事物間的聯繫，建立系統的模型，鍛煉其提出和解決複雜工程問題的能力。本書結合了作者所在教學團隊40餘年在哈爾濱工業大學講授該課程的經驗和體會，根據本科生教學的實際需要選擇和組織有關內容撰寫而成，包含了集合論與圖論課程需涵蓋的概念、理論、方法和應用，主要包括兩部分：集合論與圖論。集合論部分主要包括集合及其運算、映射及其合成、關係及其運算、無窮集合及其基數；圖論主要包括圖的一些基本概念、一些特殊的圖、樹及其性質、割點和橋、連通度和匹配、平面圖和圖的著色、有向圖等。本書適合高等學校計算機與電子通信專業集群的本科生使用，也可以供相關專業的學生、教師和科研人員參考。