內容簡介

本書全面而繫統地介紹了離散數學的經典理論和方法。內容共分為集合論、代數繫統、圖論、數理邏輯四篇。靠前篇包括集合、關繫、函數與無限集合；第二篇包括代數繫統、幾類典型的代數繫統、格與布爾代數；第三篇包括圖論基礎、樹；第四篇包括命題邏輯、謂詞邏輯。各篇相對獨立而又有機聯繫，證明力求嚴格完整。全書取材廣泛，內容深入淺出，敘述簡潔，實例突出，便於學習。每章配有大量與計算機科學相關的有實際背景的例題與習題，便於學生對教學內容的理解和掌握。本書還附有配套的電子教案PPT，有需要的讀者可掃描每章末的二維碼進行閱讀和使用。