內容簡介

本書繫統地介紹了離散數學的各大組成部分，全書分為5個部分。靠前部分是數理邏輯，主要包含命題邏輯和謂詞邏輯的內容； 第二部分是集合論初步，主要介紹集合關繫和函數； 第三部分是代數繫統，包含代數繫統的有關內容和幾個典型的代數繫統； 第四部分介紹圖論； 第五部分介紹離散數學在計算機學科的具體應用。本書的各章之後配有適當難度的習題，便於學生在學完本章內容之後進行課後練習。
本書可以作為高等學校計算機專業和非計算機專業相關課程的教材，也可作為考研人員和計算機工作者的參考書。