內容介紹
本書是根據教育部高等理工院校離散數學課程教學大綱的基本要求和碩士研究生入學考試的基本要求編寫而成。全書內容包含數理邏輯、集合論、代數系統和圖論4個部分,共分8章;命題邏輯、謂詞邏輯、集合論、二元關係、函式、代數系統、格與布爾代數、圖論等。每章給出了知識結構圖、疑惑解惑、典型例題與考研題分析、重要習題精選精解、兩級訓練等5個板塊內容。書中例題分析細緻,解答完整,有助於讀者掌握解題方法和技巧。此外,附錄中給出了期中、期末考試試題各一套和兩套考研模擬試題(均附有參考答案)以及各章訓練題材的參考答案。
本書可作為課程學習與複習迎考(課程考試或碩士研究生入學考試)的複習用書,以及高等院校師生離散數學的教學參考書。
作品目錄
第一章 命題邏輯第二章 謂詞邏輯
第三章 集合論
第四章 二元關係
第五章 函式
第六章 代數系統
第七章 格與布爾代數
第八章 圖論